src/FOL/FOL.thy

--- a/src/FOL/FOL.thy	Sat Apr 04 12:26:47 1998 +0200
+++ b/src/FOL/FOL.thy	Sat Apr 04 12:28:39 1998 +0200
@@ -6,4 +6,4 @@
 
 end
 
-ML val thy_data = [ClasetThyData.thy_data];
+ML val thy_setup = [ClasetThyData.setup];