author | wenzelm |
Sat, 14 Jun 2008 23:19:51 +0200 | |
changeset 27208 | 5fe899199f85 |
parent 11858 | ca128c9100b6 |
child 31678 | 752f23a37240 |
permissions | -rw-r--r-- |
10579 | 1 |
(* ID: $Id$ *) |
10339 | 2 |
use "../settings.ML"; |
10579 | 3 |
use_thy "Numbers"; |
10538 | 4 |
use_thy "Pairs"; |
11389 | 5 |
use_thy "Records"; |
11858
ca128c9100b6
renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
wenzelm
parents:
11389
diff
changeset
|
6 |
use_thy "Typedefs"; |
10339 | 7 |
use_thy "Overloading0"; |
8 |
use_thy "Overloading2"; |
|
9 |
use_thy "Axioms"; |