--- a/src/FOL/FOL.thy Thu Sep 07 20:46:53 2000 +0200
+++ b/src/FOL/FOL.thy Thu Sep 07 20:47:34 2000 +0200
@@ -58,6 +58,7 @@
setup "Simplifier.method_setup Splitter.split_modifiers"
setup Splitter.setup
setup Clasimp.setup
+setup Rulify.setup
subsection {* Calculational rules *}