src/ZF/IsaMakefile
changeset 13494 1c44289716ae
parent 13433 47fe2d1ec999
child 13496 6f0c57def6d5
     1.1 --- a/src/ZF/IsaMakefile	Mon Aug 12 18:01:44 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Tue Aug 13 11:03:11 2002 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
     1.5    Constructible/MetaExists.thy  Constructible/Normal.thy \
     1.6    Constructible/Rec_Separation.thy Constructible/Separation.thy \
     1.7 -  Constructible/WF_absolute.thy \
     1.8 +  Constructible/Satisfies_absolute.thy Constructible/WF_absolute.thy \
     1.9    Constructible/Reflection.thy  Constructible/WFrec.thy \
    1.10    Constructible/document/root.tex
    1.11  	@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible