src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri Apr 21 11:28:18 2000 +0200
+++ b/src/HOL/ROOT.ML	Fri Apr 21 11:28:34 2000 +0200
@@ -31,7 +31,6 @@
 use "~~/src/Provers/Arith/assoc_fold.ML";
 use "~~/src/Provers/quantifier1.ML";
 use "~~/src/Provers/Arith/combine_coeff.ML";
-use "~~/src/Provers/Arith/inverse_fold.ML";
 use "~~/src/Provers/Arith/cancel_numerals.ML";
 use "~~/src/Provers/Arith/fold_Suc.ML";