# HG changeset patch
# User paulson
# Date 907317788 -7200
# Node ID 39d68cfa457de5d816f78e8c13ec34e7ecbe52d7
# Parent  e86700ddc7d4d2a79e5e43539fdc1f2dbbd19796
new file Provers/Arith/abel_cancel.ML

diff -r e86700ddc7d4 -r 39d68cfa457d src/HOL/ROOT.ML
--- a/src/HOL/ROOT.ML	Fri Oct 02 10:42:37 1998 +0200
+++ b/src/HOL/ROOT.ML	Fri Oct 02 10:43:08 1998 +0200
@@ -25,6 +25,7 @@
 use "$ISABELLE_HOME/src/Provers/Arith/nat_transitive.ML";
 use "$ISABELLE_HOME/src/Provers/Arith/cancel_sums.ML";
 use "$ISABELLE_HOME/src/Provers/Arith/cancel_factor.ML";
+use "$ISABELLE_HOME/src/Provers/Arith/abel_cancel.ML";
 use "$ISABELLE_HOME/src/Provers/quantifier1.ML";
 
 use_thy "HOL";