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.
use "~~/src/Provers/induct_method.ML";
authorwenzelm
Thu, 04 Oct 2001 15:40:52 +0200
changeset 11685 c786d9ce558e
parent 11684 abd396ca7ef9
child 11686 68b95cb97745
use "~~/src/Provers/induct_method.ML";
src/HOL/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT.ML	Thu Oct 04 15:40:31 2001 +0200
+++ b/src/HOL/ROOT.ML	Thu Oct 04 15:40:52 2001 +0200
@@ -21,6 +21,7 @@
 use "~~/src/Provers/splitter.ML";
 use "~~/src/Provers/hypsubst.ML";
 use "~~/src/Provers/rulify.ML";
+use "~~/src/Provers/induct_method.ML";
 use "~~/src/Provers/make_elim.ML";
 use "~~/src/Provers/classical.ML";
 use "~~/src/Provers/blast.ML";
isabelle