src/FOL/FOL.thy
changeset 11771 b7b100a2de1d
parent 11678 6aa3e2d26683
child 11848 6e3017adb8c0
--- 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 *}