| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 13305 | f88d0c363582 |
| permissions | -rw-r--r-- |
1 use "../settings.ML";
2 use_thy "Tree";
3 use_thy "Tree2";
4 use_thy "Plus";
5 use_thy "case_exprs";
6 use_thy "fakenat";
7 use_thy "natsum";
8 use_thy "pairs";
9 use_thy "Option2";
10 use_thy "types";
11 use_thy "prime_def";
12 use_thy "simp";
13 use_thy "Itrev";
14 use_thy "AdvancedInd";
15 use_thy "appendix";