1name: hol-words 2version: 1.2 3description: n-bit words 4author: HOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org> 5license: MIT 6requires: base 7requires: hol-base 8requires: hol-string 9show: "HOL4" 10show: "Data.Bool" 11show: "Data.List" 12show: "Data.Pair" 13show: "Data.Option" 14show: "Function" 15show: "Number.Natural" 16show: "Relation" 17main { 18 article: "hol4-words-unint.art" 19 interpretation: "../opentheory/hol4.int" 20} 21