setup Rulify.setup;

--- 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 *}