# HG changeset patch
# User wenzelm
# Date 968352474 -7200
# Node ID 897d6602cbfb8f2eef9f73930f753be0b8253d98
# Parent  34494703d28363384fdc9b882c4dc14c99967be6
updated setup;

diff -r 34494703d283 -r 897d6602cbfb src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Thu Sep 07 20:47:34 2000 +0200
+++ b/src/FOL/IFOL.thy	Thu Sep 07 20:47:54 2000 +0200
@@ -116,10 +116,11 @@
   iff_reflection: "(P<->Q) ==> (P==Q)"
 
 
-			setup Simplifier.setup
-use "IFOL_lemmas.ML"	setup attrib_setup
+setup Simplifier.setup
+use "IFOL_lemmas.ML"
 use "fologic.ML"
-use "hypsubstdata.ML"   setup hypsubst_setup
+use "hypsubstdata.ML"
+setup hypsubst_setup
 use "intprover.ML"