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.
added true theory dependencies
authorlcp
Mon, 19 Dec 1994 13:18:54 +0100
changeset 805 96f51689cdeb
parent 804 02430d273ebf
child 806 6330ca0a3ac5
added true theory dependencies
src/ZF/Inductive.thy file | annotate | diff | comparison | revisions 
--- a/src/ZF/Inductive.thy	Mon Dec 19 13:01:30 1994 +0100
+++ b/src/ZF/Inductive.thy	Mon Dec 19 13:18:54 1994 +0100
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-Inductive = "indrule"
+Inductive = Fixedpt + Sum + QPair + "indrule"
isabelle