author | wenzelm |
Tue, 13 Jun 2006 23:41:39 +0200 | |
changeset 19876 | 11d447d5d68c |
parent 18914 | 5a476b10d69c |
permissions | -rw-r--r-- |
0 | 1 |
|
7355
4c43090659ca
proper bootstrap of IFOL/FOL theories and packages;
wenzelm
parents:
5159
diff
changeset
|
2 |
structure FOL = |
4c43090659ca
proper bootstrap of IFOL/FOL theories and packages;
wenzelm
parents:
5159
diff
changeset
|
3 |
struct |
4c43090659ca
proper bootstrap of IFOL/FOL theories and packages;
wenzelm
parents:
5159
diff
changeset
|
4 |
val thy = the_context (); |
4c43090659ca
proper bootstrap of IFOL/FOL theories and packages;
wenzelm
parents:
5159
diff
changeset
|
5 |
val classical = classical; |
4c43090659ca
proper bootstrap of IFOL/FOL theories and packages;
wenzelm
parents:
5159
diff
changeset
|
6 |
end; |