Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new file Provers/Arith/abel_cancel.ML
authorpaulson
Fri, 02 Oct 1998 10:43:08 +0200
changeset 5606 39d68cfa457d
parent 5605 e86700ddc7d4
child 5607 5db9e2343ade
new file Provers/Arith/abel_cancel.ML
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";
isabelle