changeset 1803 | ff4cb897dfd3 |
parent 1733 | 89dd6ca7ee6c |
child 2023 | aa25f20c5d8b |
--- a/src/ZF/Makefile Fri Jun 14 12:27:48 1996 +0200 +++ b/src/ZF/Makefile Fri Jun 14 12:32:08 1996 +0200 @@ -124,7 +124,7 @@ fi ##Miscellaneous examples -EX_NAMES = Ramsey Limit Integ twos_compl Bin BT Term TF Ntree Brouwer \ +EX_NAMES = Primes Ramsey Limit Integ twos_compl Bin BT Term TF Ntree Brouwer \ Data Enum Rmap Mutil PropLog ListN Acc Comb Primrec LList CoUnit EX_FILES = ex/ROOT.ML ex/misc.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)