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.
Includes Sum.thy as a parent for mutual recursion
authorlcp
Tue, 25 Jul 1995 16:58:06 +0200
changeset 1187 bc94f00e47ba
parent 1186 906c32af858d
child 1188 0443e4dc8511
Includes Sum.thy as a parent for mutual recursion
src/HOL/Inductive.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Inductive.thy	Tue Jul 25 16:52:08 1995 +0200
+++ b/src/HOL/Inductive.thy	Tue Jul 25 16:58:06 1995 +0200
@@ -1,1 +1,2 @@
-Inductive = Gfp + Prod
+Inductive = Gfp + Prod + Sum
+
isabelle