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.
setup DatatypeTactics.setup;
authorwenzelm
Thu, 15 Nov 2001 18:20:48 +0100
changeset 12208 5efe7b6874fd
parent 12207 4dff931b852f
child 12209 09bc6f8456b9
setup DatatypeTactics.setup;
src/ZF/Inductive.thy file | annotate | diff | comparison | revisions 
--- a/src/ZF/Inductive.thy	Thu Nov 15 18:20:13 2001 +0100
+++ b/src/ZF/Inductive.thy	Thu Nov 15 18:20:48 2001 +0100
@@ -16,6 +16,6 @@
     "Tools/primrec_package.ML":
 
 setup IndCases.setup
-setup induct_tacs_setup
+setup DatatypeTactics.setup
 
 end
isabelle