1name: hol-string-unint 2version: 1.0 3description: HOL string theories (before re-interpretation) 4author: HOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org> 5license: MIT 6main { 7 import: string 8 import: string-num 9 import: ascii-numbers 10} 11string { 12 article: "string.ot.art" 13} 14string-num { 15 import: string 16 article: "string_num.ot.art" 17} 18ascii-numbers { 19 import: string 20 article: "ASCIInumbers.ot.art" 21} 22