name: list-set-thm
version: 1.52
description: Properties of list to set conversions
author: Joe Leslie-Hurd <joe@gilith.com>
license: HOLLight
provenance: HOL Light theory exported on 2019-05-03
requires: bool
requires: list-def
requires: list-dest
requires: list-length
requires: list-set-def
requires: natural
requires: set
show: "Data.Bool"
show: "Data.List"
show: "Number.Natural"
show: "Set"

main {
  article: "list-set-thm.art"
}
