# HG changeset patch
# User wenzelm
# Date 968352579 -7200
# Node ID 144ecc001b8f1e8eb2b196173a6d9eaba98367e0
# Parent  8802b140334c0a2eb48306ebcc91197a850c8f6f
removed rulify_attrib_setup;

diff -r 8802b140334c -r 144ecc001b8f src/HOL/HOL.thy
--- 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"