changeset 8640 | 2f9b008a27a1 |
parent 8473 | 2798d2f71ec2 |
child 8800 | e3688ef49f12 |
--- a/src/HOL/HOL.thy Fri Mar 31 21:58:34 2000 +0200 +++ b/src/HOL/HOL.thy Fri Mar 31 21:59:37 2000 +0200 @@ -190,8 +190,8 @@ use "blastdata.ML" setup Blast.setup use "simpdata.ML" setup Simplifier.setup setup "Simplifier.method_setup Splitter.split_modifiers" - setup Splitter.setup setup iff_attrib_setup - setup simpsetup setup Clasimp.setup + setup simpsetup setup cong_attrib_setup + setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup end