1name: hol-words-unint
2version: 1.0
3description: n-bit words (before re-interpretation)
4author: HOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
5license: MIT
6main {
7  import: alignment
8  import: bitstring
9  import: blast
10  import: fcp
11  import: sum-num
12  import: words
13}
14alignment {
15  import: fcp
16  import: words
17  article: "alignment.ot.art"
18}
19bitstring {
20  import: fcp
21  import: words
22  article: "bitstring.ot.art"
23}
24blast {
25  import: fcp
26  import: words
27  article: "blast.ot.art"
28}
29fcp {
30  article: "fcp.ot.art"
31}
32sum-num {
33  article: "sum_num.ot.art"
34}
35words {
36  import: fcp
37  import: sum-num
38  article: "words.ot.art"
39}
40