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