| author | nipkow |
| Wed, 19 Apr 2000 11:56:31 +0200 | |
| changeset 8745 | 13b32661dde4 |
| child 9493 | 494f8cd34df7 |
| permissions | -rw-r--r-- |
1 use_thy "Tree";
2 use_thy "cases";
3 use_thy "fakenat";
4 use_thy "natsum";
5 use_thy "arith1";
6 use_thy "arith2";
7 use_thy "arith3";
8 use_thy "arith4";
9 use_thy "pairs";
10 use_thy "types";
11 use_thy "prime_def";
12 use_thy "def_rewr";
13 use_thy "let_rewr";
14 use_thy "cond_rewr";
15 use_thy "case_splits";
16 use_thy "trace_simp";
17 use_thy "Itrev";
18 use_thy "asm_simp";