author | paulson |
Fri, 02 Oct 1998 10:43:08 +0200 | |
changeset 5606 | 39d68cfa457d |
parent 5605 | e86700ddc7d4 |
child 5607 | 5db9e2343ade |
src/HOL/ROOT.ML | file | annotate | diff | comparison | revisions |
--- 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";