author | wenzelm |
Fri, 21 Dec 2001 19:55:39 +0100 | |
changeset 12582 | b85acd66f715 |
parent 11203 | 881222d48777 |
child 13305 | f88d0c363582 |
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"; |
|
9844 | 11 |
use_thy "simp"; |
8745 | 12 |
use_thy "Itrev"; |
9644 | 13 |
use_thy "AdvancedInd"; |
10978 | 14 |
use_thy "appendix"; |