equal
deleted
inserted
replaced
193 @$(ISATOOL) usedir $(OUT)/HOL Quot |
193 @$(ISATOOL) usedir $(OUT)/HOL Quot |
194 |
194 |
195 |
195 |
196 ## Miscellaneous examples |
196 ## Miscellaneous examples |
197 |
197 |
198 EX_NAMES = String BT Perm Comb InSort Qsort LexProd \ |
198 EX_NAMES = String BT Perm Comb InSort Qsort LexProd Puzzle Mutil \ |
199 Puzzle Mutil Primes NatSum SList LList Acc PropLog Term Simult MT |
199 Primes NatSum SList LList LFilter Acc PropLog Term Simult MT |
200 |
200 |
201 EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \ |
201 EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \ |
202 ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML) |
202 ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML) |
203 |
203 |
204 ex: $(OUT)/HOL $(EX_FILES) |
204 ex: $(OUT)/HOL $(EX_FILES) |