src/FOL/IFOL.thy
changeset 16019 0e1405402d53
parent 15481 fc075ae929e4
child 16121 a80aa66d2271
     1.1 --- a/src/FOL/IFOL.thy	Sun May 22 16:51:06 2005 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Sun May 22 16:51:07 2005 +0200
     1.3 @@ -140,7 +140,6 @@
     1.4  
     1.5  subsection {* Lemmas and proof tools *}
     1.6  
     1.7 -setup Simplifier.setup
     1.8  use "IFOL_lemmas.ML"
     1.9  
    1.10  use "fologic.ML"