src/FOL/IFOL.thy
changeset 4854 d1850e0964f2
parent 4793 03fd006fb97b
child 6027 9dd06eeda95c
     1.1 --- a/src/FOL/IFOL.thy	Wed Apr 29 11:29:00 1998 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Wed Apr 29 11:29:39 1998 +0200
     1.3 @@ -111,7 +111,8 @@
     1.4    eq_reflection   "(x=y)   ==> (x==y)"
     1.5    iff_reflection  "(P<->Q) ==> (P==Q)"
     1.6  
     1.7 -end
     1.8  
     1.9 +setup
    1.10 +  Simplifier.setup
    1.11  
    1.12 -ML val thy_setup = [Simplifier.setup];
    1.13 +end