name: set-thm version: 1.75 description: Properties of set types author: Joe Leslie-Hurd license: HOLLight provenance: HOL Light theory exported on 2019-07-04 requires: bool requires: function requires: natural requires: pair requires: set-def show: "Data.Bool" show: "Data.Pair" show: "Function" show: "Number.Natural" show: "Set" main { article: "set-thm.art" }