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.
ZF/constructor.thy: now specifies intr_elim as its parent; previously had
authorlcp
Thu, 28 Jul 1994 11:25:37 +0200
changeset 493 e2f00c943fa5
parent 492 7bc980c7585e
child 494 3686157a5a51
ZF/constructor.thy: now specifies intr_elim as its parent; previously had ind_syntax, which was not sufficient.
src/ZF/constructor.thy file | annotate | diff | comparison | revisions 
--- a/src/ZF/constructor.thy	Wed Jul 27 19:08:14 1994 +0200
+++ b/src/ZF/constructor.thy	Thu Jul 28 11:25:37 1994 +0200
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-constructor = "ind_syntax"
\ No newline at end of file
+constructor = "intr_elim"
\ No newline at end of file
isabelle