src/FOL/FOL.thy

--- a/src/FOL/FOL.thy	Wed Apr 29 11:29:00 1998 +0200
+++ b/src/FOL/FOL.thy	Wed Apr 29 11:29:39 1998 +0200
@@ -4,6 +4,7 @@
 rules
   classical "(~P ==> P) ==> P"
 
-end
+setup
+  ClasetThyData.setup
 
-ML val thy_setup = [ClasetThyData.setup];
+end