name: list-set-def version: 1.53 description: Definition of list to set conversions author: Joe Leslie-Hurd license: HOLLight provenance: HOL Light theory extracted on 2014-11-04 requires: bool requires: list-def requires: list-length requires: set show: "Data.Bool" show: "Data.List" show: "Number.Natural" show: "Set" main { article: "list-set-def.art" }