changeset 10766 | ace2ba2d4fd1 |
parent 10689 | 5c44de6aadf4 |
child 11685 | c786d9ce558e |
--- a/src/HOL/ROOT.ML Wed Jan 03 11:13:51 2001 +0100 +++ b/src/HOL/ROOT.ML Wed Jan 03 11:14:48 2001 +0100 @@ -27,7 +27,6 @@ use "~~/src/Provers/clasimp.ML"; use "~~/src/Provers/Arith/fast_lin_arith.ML"; use "~~/src/Provers/Arith/cancel_sums.ML"; -use "~~/src/Provers/Arith/cancel_factor.ML"; use "~~/src/Provers/Arith/abel_cancel.ML"; use "~~/src/Provers/Arith/assoc_fold.ML"; use "~~/src/Provers/quantifier1.ML";