changeset 16562 | b74143e10410 |
parent 16483 | ace3c2b95353 |
child 17919 | 09adb77ac16c |
--- a/src/HOL/ROOT.ML Fri Jun 24 16:18:41 2005 +0200 +++ b/src/HOL/ROOT.ML Fri Jun 24 16:21:01 2005 +0200 @@ -23,7 +23,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/abel_cancel.ML"; use "~~/src/Provers/Arith/assoc_fold.ML"; use "~~/src/Provers/quantifier1.ML"; use "~~/src/Provers/Arith/cancel_numerals.ML";