src/FOL/IFOL.thy

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