# HG changeset patch
# User paulson
# Date 957371649 -7200
# Node ID 2f3412cd1b687193121b378b396b22267c24159a
# Parent  00cff9d083df7fa3a3626a1031c5d24ca66c83c7
removed obsolete simproc combine_coeff

diff -r 00cff9d083df -r 2f3412cd1b68 src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Wed May 03 18:33:28 2000 +0200
+++ b/src/HOL/ROOT.ML	Wed May 03 18:34:09 2000 +0200
@@ -30,7 +30,6 @@
 use "~~/src/Provers/Arith/abel_cancel.ML";
 use "~~/src/Provers/Arith/assoc_fold.ML";
 use "~~/src/Provers/quantifier1.ML";
-use "~~/src/Provers/Arith/combine_coeff.ML";
 use "~~/src/Provers/Arith/cancel_numerals.ML";
 use "~~/src/Provers/Arith/combine_numerals.ML";