# HG changeset patch
# User wenzelm
# Date 968172423 -7200
# Node ID 6ca7fcac3e232ba5e237ba01f484b0185de2e4f1
# Parent  e22db9397e171da200225edab097001a9412c99d
tuned setup;

diff -r e22db9397e17 -r 6ca7fcac3e23 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Tue Sep 05 18:46:36 2000 +0200
+++ b/src/HOL/HOL.thy	Tue Sep 05 18:47:03 2000 +0200
@@ -219,8 +219,8 @@
 use "blastdata.ML"	setup Blast.setup
 use "simpdata.ML"	setup Simplifier.setup
 			setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup
-                        setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup
-			setup attrib_setup
+                        setup Splitter.setup setup Clasimp.setup
+			setup rulify_attrib_setup
 
 use "Tools/meson.ML"