src/FOL/IFOL.thy
changeset 11734 7a21bf539412
parent 11677 ee12f18599e5
child 11747 17a6dcd6f3cf
     1.1 --- a/src/FOL/IFOL.thy	Fri Oct 12 12:10:07 2001 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Fri Oct 12 12:11:39 2001 +0200
     1.3 @@ -119,6 +119,9 @@
     1.4  
     1.5  setup Simplifier.setup
     1.6  use "IFOL_lemmas.ML"
     1.7 +
     1.8 +declare impE [Pure.elim]  iffD1 [Pure.elim]  iffD2 [Pure.elim]
     1.9 +
    1.10  use "fologic.ML"
    1.11  use "hypsubstdata.ML"
    1.12  setup hypsubst_setup