src/HOL/ROOT.ML
changeset 18482 ac8456b4080c
parent 18449 e314fb38307d
child 18529 540da2415751
     1.1 --- a/src/HOL/ROOT.ML	Thu Dec 22 00:29:14 2005 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Thu Dec 22 00:29:15 2005 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4  use "~~/src/Provers/Arith/cancel_sums.ML";
     1.5  use "~~/src/Provers/Arith/assoc_fold.ML";
     1.6  use "~~/src/Provers/quantifier1.ML";
     1.7 +use "~~/src/Provers/project_rule.ML";
     1.8  use "~~/src/Provers/Arith/cancel_numerals.ML";
     1.9  use "~~/src/Provers/Arith/combine_numerals.ML";
    1.10  use "~~/src/Provers/Arith/cancel_numeral_factor.ML";