Constructible/document/root.tex;
authorwenzelm
Thu Jul 04 15:06:46 2002 +0200 (2002-07-04)
changeset 13296ba142aa29694
parent 13295 ca2e9b273472
child 13297 e4ae0732e2be
Constructible/document/root.tex;
src/ZF/IsaMakefile
     1.1 --- a/src/ZF/IsaMakefile	Thu Jul 04 15:03:03 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Thu Jul 04 15:06:46 2002 +0200
     1.3 @@ -81,7 +81,8 @@
     1.4    Constructible/Formula.thy     Constructible/Relative.thy \
     1.5    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
     1.6    Constructible/Normal.thy      Constructible/WF_absolute.thy \
     1.7 -  Constructible/Reflection.thy  Constructible/WFrec.thy
     1.8 +  Constructible/Reflection.thy  Constructible/WFrec.thy \
     1.9 +  Constructible/document/root.tex
    1.10  	@$(ISATOOL) usedir $(OUT)/ZF Constructible
    1.11  
    1.12