name: option-def version: 1.0 description: option-def author: Joe Hurd license: HOLLight provenance: HOL Light theory extracted on 2011-02-19 show: "Data.Bool" main { article: "option-def.art" }