src/FOL/ROOT.ML
changeset 18482 ac8456b4080c
parent 16483 ace3c2b95353
child 18529 540da2415751
--- 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";