src/ZF/IsaMakefile
changeset 12776 249600a63ba9
parent 12667 7e6eaaa125f2
child 13085 bfdb0534c8ec
     1.1 --- a/src/ZF/IsaMakefile	Wed Jan 16 15:04:37 2002 +0100
     1.2 +++ b/src/ZF/IsaMakefile	Wed Jan 16 17:52:06 2002 +0100
     1.3 @@ -58,16 +58,11 @@
     1.4  ZF-AC: ZF $(LOG)/ZF-AC.gz
     1.5  
     1.6  $(LOG)/ZF-AC.gz: $(OUT)/ZF \
     1.7 -  AC/AC15_WO6.ML AC/AC15_WO6.thy AC/AC16_WO4.ML AC/AC16_WO4.thy \
     1.8 -  AC/AC16_lemmas.ML AC/AC16_lemmas.thy AC/AC17_AC1.ML AC/AC17_AC1.thy \
     1.9 -  AC/AC18_AC19.ML AC/AC18_AC19.thy AC/AC1_WO2.ML \
    1.10 -  AC/AC1_WO2.thy AC/AC7_AC9.ML AC/AC_Equiv.ML \
    1.11 -  AC/AC_Equiv.thy AC/Cardinal_aux.ML AC/Cardinal_aux.thy AC/DC.ML \
    1.12 -  AC/DC.thy AC/DC_lemmas.ML AC/DC_lemmas.thy AC/HH.ML AC/HH.thy \
    1.13 -  AC/Hartog.ML AC/Hartog.thy AC/ROOT.ML AC/WO1_AC.ML AC/WO1_AC.thy \
    1.14 -  AC/WO1_WO7.ML AC/WO1_WO7.thy AC/WO2_AC16.ML \
    1.15 -  AC/WO2_AC16.thy AC/WO6_WO1.ML AC/WO6_WO1.thy AC/WO_AC.ML AC/WO_AC.thy \
    1.16 -  AC/recfunAC16.ML AC/recfunAC16.thy AC/rel_is_fun.ML AC/rel_is_fun.thy
    1.17 +  AC/ROOT.ML  AC/AC15_WO6.thy AC/AC16_WO4.thy \
    1.18 +  AC/AC16_lemmas.thy AC/AC17_AC1.thy AC/AC18_AC19.thy AC/AC7_AC9.thy \
    1.19 +  AC/AC_Equiv.thy AC/Cardinal_aux.thy \
    1.20 +  AC/DC.thy AC/HH.thy AC/Hartog.thy AC/WO1_AC.thy AC/WO1_WO7.thy \
    1.21 +  AC/WO2_AC16.thy AC/WO6_WO1.thy 
    1.22  	@$(ISATOOL) usedir $(OUT)/ZF AC
    1.23  
    1.24