changeset 12582 | b85acd66f715 |
parent 11203 | 881222d48777 |
child 13305 | f88d0c363582 |
12581:dceea9dbdedd | 12582:b85acd66f715 |
---|---|
6 use_thy "natsum"; |
6 use_thy "natsum"; |
7 use_thy "pairs"; |
7 use_thy "pairs"; |
8 use_thy "Option2"; |
8 use_thy "Option2"; |
9 use_thy "types"; |
9 use_thy "types"; |
10 use_thy "prime_def"; |
10 use_thy "prime_def"; |
11 use_thy "Translations"; |
|
12 use_thy "simp"; |
11 use_thy "simp"; |
13 use_thy "Itrev"; |
12 use_thy "Itrev"; |
14 use_thy "AdvancedInd"; |
13 use_thy "AdvancedInd"; |
15 use_thy "appendix"; |
14 use_thy "appendix"; |