src/HOL/HOL.thy
changeset 8640 2f9b008a27a1
parent 8473 2798d2f71ec2
child 8800 e3688ef49f12
     1.1 --- a/src/HOL/HOL.thy	Fri Mar 31 21:58:34 2000 +0200
     1.2 +++ b/src/HOL/HOL.thy	Fri Mar 31 21:59:37 2000 +0200
     1.3 @@ -190,8 +190,8 @@
     1.4  use "blastdata.ML"	setup Blast.setup
     1.5  use "simpdata.ML"	setup Simplifier.setup
     1.6  			setup "Simplifier.method_setup Splitter.split_modifiers"
     1.7 -                        setup Splitter.setup setup iff_attrib_setup
     1.8 -			setup simpsetup setup Clasimp.setup
     1.9 +			setup simpsetup setup cong_attrib_setup
    1.10 +                        setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup
    1.11  
    1.12  
    1.13  end