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