src/ZF/IsaMakefile
changeset 5464 47d0d906b39a
parent 5158 48ca9ef35fb0
child 5539 25e743eef48a
     1.1 --- a/src/ZF/IsaMakefile	Thu Sep 10 17:33:09 1998 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Thu Sep 10 17:34:01 1998 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4    AC/AC_Equiv.thy AC/Cardinal_aux.ML AC/Cardinal_aux.thy AC/DC.ML \
     1.5    AC/DC.thy AC/DC_lemmas.ML AC/DC_lemmas.thy AC/HH.ML AC/HH.thy \
     1.6    AC/Hartog.ML AC/Hartog.thy AC/ROOT.ML AC/WO1_AC.ML AC/WO1_AC.thy \
     1.7 -  AC/WO1_WO6.ML AC/WO1_WO7.ML AC/WO1_WO8.ML AC/WO2_AC16.ML \
     1.8 +  AC/WO1_WO6.ML AC/WO1_WO7.ML AC/WO1_WO7.thy AC/WO1_WO8.ML AC/WO2_AC16.ML \
     1.9    AC/WO2_AC16.thy AC/WO6_WO1.ML AC/WO6_WO1.thy AC/WO_AC.ML AC/WO_AC.thy \
    1.10    AC/recfunAC16.ML AC/recfunAC16.thy AC/rel_is_fun.ML AC/rel_is_fun.thy
    1.11  	@$(ISATOOL) usedir $(OUT)/ZF AC