| changeset 1174 | e57a93d41de0 |
| parent 1164 | 8e969adf64d6 |
| child 1253 | 131f72e2cd56 |
--- a/src/HOL/Makefile Fri Jun 30 11:34:14 1995 +0200 +++ b/src/HOL/Makefile Fri Jun 30 11:39:20 1995 +0200 @@ -108,7 +108,8 @@ echo 'exit_use"Lambda/ROOT.ML";quit();' | $(LOGIC) ##Miscellaneous examples -EX_NAMES = LexProd MT Acc PropLog Puzzle Qsort LList Rec Simult Term String +EX_NAMES = LexProd MT Acc PropLog Puzzle 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)