src/ZF/IsaMakefile
changeset 13339 0f89104dd377
parent 13327 be7105a066d3
child 13356 c9cfe1638bf2
     1.1 --- a/src/ZF/IsaMakefile	Wed Jul 10 16:07:52 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Wed Jul 10 16:54:07 2002 +0200
     1.3 @@ -82,7 +82,8 @@
     1.4    Constructible/Formula.thy     Constructible/Relative.thy \
     1.5    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
     1.6    Constructible/MetaExists.thy  Constructible/Normal.thy \
     1.7 -  Constructible/Separation.thy      Constructible/WF_absolute.thy \
     1.8 +  Constructible/Rec_Separation.thy Constructible/Separation.thy \
     1.9 +  Constructible/WF_absolute.thy \
    1.10    Constructible/Reflection.thy  Constructible/WFrec.thy \
    1.11    Constructible/document/root.tex
    1.12  	@$(ISATOOL) usedir $(OUT)/ZF Constructible