# HG changeset patch
# User paulson
# Date 956309314 -7200
# Node ID 04d01ae28508d42dfb7126d7a5e27271dccaa883
# Parent  b03a0b21913966f054b8c448c9f5c2c27cc041a9
Provers/Arith/inverse_fold.ML is already obsolete

diff -r b03a0b219139 -r 04d01ae28508 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";