removed rulify_attrib_setup;
authorwenzelm
Thu Sep 07 20:49:39 2000 +0200 (2000-09-07)
changeset 9890144ecc001b8f
parent 9889 8802b140334c
child 9891 133c845d2bd1
removed rulify_attrib_setup;
src/HOL/HOL.thy
     1.1 --- a/src/HOL/HOL.thy	Thu Sep 07 20:49:19 2000 +0200
     1.2 +++ b/src/HOL/HOL.thy	Thu Sep 07 20:49:39 2000 +0200
     1.3 @@ -227,7 +227,6 @@
     1.4  setup Simplifier.setup
     1.5  setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup
     1.6  setup Splitter.setup setup Clasimp.setup
     1.7 -setup rulify_attrib_setup
     1.8  
     1.9  use "meson_lemmas.ML"
    1.10  use "Tools/meson.ML"