author | nipkow |
Mon, 19 Mar 2001 17:25:42 +0100 | |
changeset 11216 | 279004936bb0 |
parent 11203 | 881222d48777 |
child 12582 | b85acd66f715 |
permissions | -rw-r--r-- |
9834 | 1 |
use "../settings.ML"; |
8745 | 2 |
use_thy "Tree"; |
9493 | 3 |
use_thy "Tree2"; |
9721 | 4 |
use_thy "case_exprs"; |
8745 | 5 |
use_thy "fakenat"; |
6 |
use_thy "natsum"; |
|
7 |
use_thy "pairs"; |
|
10543 | 8 |
use_thy "Option2"; |
8745 | 9 |
use_thy "types"; |
10 |
use_thy "prime_def"; |
|
11203 | 11 |
use_thy "Translations"; |
9844 | 12 |
use_thy "simp"; |
8745 | 13 |
use_thy "Itrev"; |
9644 | 14 |
use_thy "AdvancedInd"; |
10978 | 15 |
use_thy "appendix"; |