changeset 1620 | 5bddaab64e0a |
parent 1513 | c318e1bbecca |
child 1639 | d3484e841d1e |
--- a/src/HOL/Makefile Wed Mar 27 18:46:42 1996 +0100 +++ b/src/HOL/Makefile Wed Mar 27 18:47:25 1996 +0100 @@ -181,8 +181,8 @@ fi ##Miscellaneous examples -EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String \ - BT Perm +EX_NAMES = LexProd MT Acc PropLog Puzzle Mutil Qsort LList Rec Simult Term \ + String BT Perm 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)