--- a/src/FOL/ROOT.ML Thu Dec 22 00:29:14 2005 +0100
+++ b/src/FOL/ROOT.ML Thu Dec 22 00:29:15 2005 +0100
@@ -17,5 +17,6 @@
use "~~/src/Provers/blast.ML";
use "~~/src/Provers/clasimp.ML";
use "~~/src/Provers/quantifier1.ML";
+use "~~/src/Provers/project_rule.ML";
use_thy "FOL";