equal
deleted
inserted
replaced
69 |
69 |
70 Coind: $(BIN)/ZF $(COIND_FILES) |
70 Coind: $(BIN)/ZF $(COIND_FILES) |
71 echo 'exit_use"Coind/ROOT.ML";quit();' | $(LOGIC) |
71 echo 'exit_use"Coind/ROOT.ML";quit();' | $(LOGIC) |
72 |
72 |
73 ##AC examples |
73 ##AC examples |
74 AC_NAMES = AC_Equiv OrdQuant Transrec2 WO6_WO1 rel_is_fun |
74 AC_NAMES = AC_Equiv OrdQuant Transrec2 Cardinal_aux \ |
|
75 AC15_WO6 AC16_WO4 AC16_lemmas AC17_AC1 AC18_AC19 AC1_WO2 \ |
|
76 DC DC_lemmas HH Hartog WO1_AC \ |
|
77 WO2_AC16 WO6_WO1 WO_AC first recfunAC16 rel_is_fun |
75 |
78 |
76 AC_FILES = AC/ROOT.ML $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML) |
79 AC_FILES = AC/ROOT.ML AC/AC0_AC1.ML AC/AC10_AC15.ML AC/AC1_AC17.ML \ |
|
80 AC/AC2_AC6.ML AC/AC7_AC9.ML \ |
|
81 AC/WO1_WO6.ML AC/WO1_WO7.ML AC/WO1_WO8.ML \ |
|
82 $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML) |
77 |
83 |
78 AC: $(BIN)/ZF $(AC_FILES) |
84 AC: $(BIN)/ZF $(AC_FILES) |
79 echo 'exit_use"AC/ROOT.ML";quit();' | $(LOGIC) |
85 echo 'exit_use"AC/ROOT.ML";quit();' | $(LOGIC) |
80 |
86 |
81 ##Residuals example |
87 ##Residuals example |