--- a/src/FOL/IFOL.thy Wed Apr 29 11:29:00 1998 +0200
+++ b/src/FOL/IFOL.thy Wed Apr 29 11:29:39 1998 +0200
@@ -111,7 +111,8 @@
eq_reflection "(x=y) ==> (x==y)"
iff_reflection "(P<->Q) ==> (P==Q)"
-end
+setup
+ Simplifier.setup
-ML val thy_setup = [Simplifier.setup];
+end