# HG changeset patch
# User wenzelm
# Date 1025788006 -7200
# Node ID ba142aa296947ce898d69dd79869af8c66aefe9d
# Parent  ca2e9b2734728941e551e223124ae2d8bcd6ae32
Constructible/document/root.tex;

diff -r ca2e9b273472 -r ba142aa29694 src/ZF/IsaMakefile
--- 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