name: option-thm version: 1.50 description: Properties of option types author: Joe Leslie-Hurd license: HOLLight provenance: HOL Light theory extracted on 2014-06-12 requires: bool requires: natural requires: option-def show: "Data.Bool" show: "Data.Option" show: "Number.Natural" main { article: "option-thm.art" }