tuned setup;
authorwenzelm
Tue Sep 05 18:47:03 2000 +0200 (2000-09-05)
changeset 98526ca7fcac3e23
parent 9851 e22db9397e17
child 9853 5c6425d83501
tuned setup;
src/HOL/HOL.thy
     1.1 --- a/src/HOL/HOL.thy	Tue Sep 05 18:46:36 2000 +0200
     1.2 +++ b/src/HOL/HOL.thy	Tue Sep 05 18:47:03 2000 +0200
     1.3 @@ -219,8 +219,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" setup simpsetup
     1.7 -                        setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup
     1.8 -			setup attrib_setup
     1.9 +                        setup Splitter.setup setup Clasimp.setup
    1.10 +			setup rulify_attrib_setup
    1.11  
    1.12  use "Tools/meson.ML"
    1.13