author | wenzelm |
Thu, 03 Nov 2011 23:32:31 +0100 | |
changeset 45329 | dd8208a3655a |
parent 31678 | 752f23a37240 |
permissions | -rw-r--r-- |
31678 | 1 |
|
2 |
no_document use_thy "Setup"; |
|
3 |
||
10339 | 4 |
use "../settings.ML"; |
10579 | 5 |
use_thy "Numbers"; |
10538 | 6 |
use_thy "Pairs"; |
11389 | 7 |
use_thy "Records"; |
11858
ca128c9100b6
renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
wenzelm
parents:
11389
diff
changeset
|
8 |
use_thy "Typedefs"; |
31678 | 9 |
use_thy "Overloading"; |
10339 | 10 |
use_thy "Axioms"; |