src/HOL/HOL.thy
changeset 7369 2d2110cda81e
parent 7357 d0e16da40ea2
child 7426 e0be36ee7ab9
     1.1 --- a/src/HOL/HOL.thy	Thu Aug 26 19:02:21 1999 +0200
     1.2 +++ b/src/HOL/HOL.thy	Thu Aug 26 19:04:19 1999 +0200
     1.3 @@ -188,7 +188,8 @@
     1.4  use "HOL_lemmas.ML"	setup attrib_setup
     1.5  use "cladata.ML"	setup Classical.setup setup clasetup
     1.6  use "blastdata.ML"	setup Blast.setup
     1.7 -use "simpdata.ML"	setup Simplifier.setup setup simpsetup setup Clasimp.setup
     1.8 +use "simpdata.ML"	setup Simplifier.setup setup iff_attrib_setup
     1.9 +			setup simpsetup setup Clasimp.setup
    1.10  
    1.11  
    1.12  end