| changeset 8745 | 13b32661dde4 |
| child 9493 | 494f8cd34df7 |
| 8744:22fa8b16c3ae | 8745:13b32661dde4 |
|---|---|
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"; |