changeset 7369 | 2d2110cda81e |
parent 7357 | d0e16da40ea2 |
child 7426 | e0be36ee7ab9 |
--- a/src/HOL/HOL.thy Thu Aug 26 19:02:21 1999 +0200 +++ b/src/HOL/HOL.thy Thu Aug 26 19:04:19 1999 +0200 @@ -188,7 +188,8 @@ use "HOL_lemmas.ML" setup attrib_setup use "cladata.ML" setup Classical.setup setup clasetup use "blastdata.ML" setup Blast.setup -use "simpdata.ML" setup Simplifier.setup setup simpsetup setup Clasimp.setup +use "simpdata.ML" setup Simplifier.setup setup iff_attrib_setup + setup simpsetup setup Clasimp.setup end