# HG changeset patch
# User wenzelm
# Date 968352454 -7200
# Node ID 34494703d28363384fdc9b882c4dc14c99967be6
# Parent  8cc344b3435ed36e6f26762403c6c316c41ed5aa
setup Rulify.setup;

diff -r 8cc344b3435e -r 34494703d283 src/FOL/FOL.thy
--- 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 *}