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