changeset 1639 | d3484e841d1e |
parent 1620 | 5bddaab64e0a |
child 1665 | e5737154d9bf |
--- a/src/HOL/Makefile Wed Apr 03 20:08:27 1996 +0200 +++ b/src/HOL/Makefile Thu Apr 04 10:24:38 1996 +0200 @@ -182,7 +182,7 @@ ##Miscellaneous examples EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \ - String BT Perm + String BT Perm Comb EX_FILES = ex/ROOT.ML ex/cla.ML ex/meson.ML ex/mesontest.ML ex/rel.ML \ ex/set.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)