--- a/src/FOL/FOL.thy Sun Oct 14 22:08:29 2001 +0200
+++ b/src/FOL/FOL.thy Sun Oct 14 22:15:07 2001 +0200
@@ -35,8 +35,6 @@
setup "Simplifier.method_setup Splitter.split_modifiers"
setup Splitter.setup
setup Clasimp.setup
-setup Rulify.setup
-
subsection {* Proof by cases and induction *}