author | wenzelm |
Wed, 28 Nov 2001 00:37:08 +0100 | |
changeset 12303 | 67ca723a02dd |
parent 11976 | 075df6e46cef |
child 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; |
0 | 7 |
|
8 |
open FOL; |