changeset 9890 | 144ecc001b8f |
parent 9869 | 95dca9f991f2 |
child 9950 | 879e88b1e552 |
--- a/src/HOL/HOL.thy Thu Sep 07 20:49:19 2000 +0200 +++ b/src/HOL/HOL.thy Thu Sep 07 20:49:39 2000 +0200 @@ -227,7 +227,6 @@ setup Simplifier.setup setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup setup Splitter.setup setup Clasimp.setup -setup rulify_attrib_setup use "meson_lemmas.ML" use "Tools/meson.ML"