Mercurial Mercurial > repos > Old_HOL / 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.
The collection of theories required for inductive definitions.
authornipkow
Thu, 24 Nov 1994 20:11:40 +0100
changeset 177 768d3504d7cd
parent 176 363bddd82ffe
child 178 12dd5d2e266b
The collection of theories required for inductive definitions.
Inductive.thy file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Inductive.thy	Thu Nov 24 20:11:40 1994 +0100
@@ -0,0 +1,1 @@
+Inductive = Gfp + Prod
Old_HOL