author | nipkow |
Tue, 29 Aug 2000 15:13:10 +0200 | |
changeset 9721 | 7e51c9f3d5a0 |
parent 9644 | 6b0b6b471855 |
child 9722 | a5f86aed785b |
permissions | -rw-r--r-- |
use_thy "Tree"; use_thy "Tree2"; use_thy "cases"; use_thy "case_exprs"; use_thy "fakenat"; use_thy "natsum"; use_thy "arith1"; use_thy "arith2"; use_thy "arith3"; use_thy "arith4"; use_thy "pairs"; use_thy "types"; use_thy "prime_def"; use_thy "def_rewr"; use_thy "let_rewr"; use_thy "cond_rewr"; use_thy "case_splits"; use_thy "trace_simp"; use_thy "Itrev"; use_thy "AdvancedInd"; use_thy "asm_simp";