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.
new files
authorpaulson
Tue, 09 Jul 2002 10:44:41 +0200
changeset 13318 3f475e54875c
parent 13317 bb74918cc0dd
child 13319 23de7b3af453
new files
src/ZF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/ZF/IsaMakefile	Mon Jul 08 18:49:18 2002 +0200
+++ b/src/ZF/IsaMakefile	Tue Jul 09 10:44:41 2002 +0200
@@ -78,9 +78,11 @@
 ZF-Constructible: ZF $(LOG)/ZF-Constructible.gz
 
 $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
+  Constructible/Datatype_absolute.thy\
   Constructible/Formula.thy     Constructible/Relative.thy \
   Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
-  Constructible/Normal.thy      Constructible/WF_absolute.thy \
+  Constructible/MetaExists.thy  Constructible/Normal.thy \
+  Constructible/Separation.thy      Constructible/WF_absolute.thy \
   Constructible/Reflection.thy  Constructible/WFrec.thy \
   Constructible/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/ZF Constructible
isabelle