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