src/FOL/IFOL.thy
changeset 9886 897d6602cbfb
parent 9526 e20323caff47
child 11677 ee12f18599e5
     1.1 --- a/src/FOL/IFOL.thy	Thu Sep 07 20:47:34 2000 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Thu Sep 07 20:47:54 2000 +0200
     1.3 @@ -116,10 +116,11 @@
     1.4    iff_reflection: "(P<->Q) ==> (P==Q)"
     1.5  
     1.6  
     1.7 -			setup Simplifier.setup
     1.8 -use "IFOL_lemmas.ML"	setup attrib_setup
     1.9 +setup Simplifier.setup
    1.10 +use "IFOL_lemmas.ML"
    1.11  use "fologic.ML"
    1.12 -use "hypsubstdata.ML"   setup hypsubst_setup
    1.13 +use "hypsubstdata.ML"
    1.14 +setup hypsubst_setup
    1.15  use "intprover.ML"
    1.16  
    1.17