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.
Constructible/document/root.tex;
authorwenzelm
Thu, 04 Jul 2002 15:06:46 +0200
changeset 13296 ba142aa29694
parent 13295 ca2e9b273472
child 13297 e4ae0732e2be
Constructible/document/root.tex;
src/ZF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/ZF/IsaMakefile	Thu Jul 04 15:03:03 2002 +0200
+++ b/src/ZF/IsaMakefile	Thu Jul 04 15:06:46 2002 +0200
@@ -81,7 +81,8 @@
   Constructible/Formula.thy     Constructible/Relative.thy \
   Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
   Constructible/Normal.thy      Constructible/WF_absolute.thy \
-  Constructible/Reflection.thy  Constructible/WFrec.thy
+  Constructible/Reflection.thy  Constructible/WFrec.thy \
+  Constructible/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/ZF Constructible
isabelle