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.
'HOL/recdef' theory data;
authorwenzelm
Fri, 16 Apr 1999 14:49:06 +0200
changeset 6438 e55a1869ed38
parent 6437 9bdfe07ba8e9
child 6439 7eea9f25dc49
'HOL/recdef' theory data; induct method setup;
src/HOL/Recdef.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Recdef.thy	Fri Apr 16 14:48:16 1999 +0200
+++ b/src/HOL/Recdef.thy	Fri Apr 16 14:49:06 1999 +0200
@@ -1,2 +1,7 @@
 
-Recdef = WF_Rel
+Recdef = WF_Rel +
+
+setup RecdefPackage.setup
+setup InductMethod.setup
+
+end
isabelle