| author | nipkow |
| Tue, 05 Sep 2000 13:53:39 +0200 | |
| changeset 9844 | 8016321c7de1 |
| parent 9834 | 109b11c4e77e |
| child 10538 | d1bf9ca9008d |
| permissions | -rw-r--r-- |
| nipkow@9834 | 1 |
use "../settings.ML"; |
| nipkow@8745 | 2 |
use_thy "Tree"; |
| nipkow@9493 | 3 |
use_thy "Tree2"; |
| nipkow@9721 | 4 |
use_thy "case_exprs"; |
| nipkow@8745 | 5 |
use_thy "fakenat"; |
| nipkow@8745 | 6 |
use_thy "natsum"; |
| nipkow@8745 | 7 |
use_thy "arith1"; |
| nipkow@8745 | 8 |
use_thy "arith2"; |
| nipkow@8745 | 9 |
use_thy "arith3"; |
| nipkow@8745 | 10 |
use_thy "pairs"; |
| nipkow@8745 | 11 |
use_thy "types"; |
| nipkow@8745 | 12 |
use_thy "prime_def"; |
| nipkow@9844 | 13 |
use_thy "simp"; |
| nipkow@8745 | 14 |
use_thy "Itrev"; |
| nipkow@9644 | 15 |
use_thy "AdvancedInd"; |