author | nipkow |
Wed, 02 Aug 2000 11:30:38 +0200 | |
changeset 9493 | 494f8cd34df7 |
parent 8745 | 13b32661dde4 |
child 9644 | 6b0b6b471855 |
permissions | -rw-r--r-- |
use_thy "Tree"; use_thy "Tree2"; use_thy "cases"; 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 "asm_simp";