# HG changeset patch
# User lcp
# Date 806768622 -7200
# Node ID c8e58352b1a5ebcb2aeb5210b2c1fd791bc199a7
# Parent  23be92d5bf4d12ea1bf825a74a3d56e5ee470bcd
Now includes all the AC files

diff -r 23be92d5bf4d -r c8e58352b1a5 src/ZF/Makefile
--- a/src/ZF/Makefile	Wed Jul 26 11:29:57 1995 +0200
+++ b/src/ZF/Makefile	Wed Jul 26 16:23:42 1995 +0200
@@ -71,9 +71,15 @@
 	echo 'exit_use"Coind/ROOT.ML";quit();' | $(LOGIC)
 
 ##AC examples
-AC_NAMES = AC_Equiv OrdQuant Transrec2 WO6_WO1 rel_is_fun
+AC_NAMES = AC_Equiv OrdQuant Transrec2 Cardinal_aux \
+	   AC15_WO6 AC16_WO4 AC16_lemmas AC17_AC1 AC18_AC19 AC1_WO2 \
+           DC DC_lemmas HH Hartog WO1_AC \
+           WO2_AC16 WO6_WO1 WO_AC first recfunAC16 rel_is_fun
 
-AC_FILES = AC/ROOT.ML $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML)
+AC_FILES = AC/ROOT.ML AC/AC0_AC1.ML AC/AC10_AC15.ML AC/AC1_AC17.ML \
+           AC/AC2_AC6.ML AC/AC7_AC9.ML \
+           AC/WO1_WO6.ML AC/WO1_WO7.ML AC/WO1_WO8.ML \
+           $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML)
 
 AC:  $(BIN)/ZF  $(AC_FILES)
 	echo 'exit_use"AC/ROOT.ML";quit();' | $(LOGIC)