src/HOL/HOL.thy
changeset 9736 332fab43628f
parent 9713 2c5b42311eb0
child 9839 da5ca8b30244
     1.1 --- a/src/HOL/HOL.thy	Tue Aug 29 22:31:36 2000 +0200
     1.2 +++ b/src/HOL/HOL.thy	Wed Aug 30 10:21:19 2000 +0200
     1.3 @@ -191,7 +191,7 @@
     1.4  
     1.5  (* theory and package setup *)
     1.6  
     1.7 -use "HOL_lemmas.ML"	setup attrib_setup
     1.8 +use "HOL_lemmas.ML"
     1.9  use "cladata.ML"	setup hypsubst_setup setup Classical.setup setup clasetup
    1.10  
    1.11  lemma all_eq: "(!!x. P x) == Trueprop (ALL x. P x)"
    1.12 @@ -219,6 +219,6 @@
    1.13  use "simpdata.ML"	setup Simplifier.setup
    1.14  			setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup
    1.15                          setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup
    1.16 -
    1.17 +			setup attrib_setup
    1.18  
    1.19  end