src/ZF/Makefile

         then echo 'make_html := true; exit_use_dir"Resid";quit();' | $(LOGIC);\
         else echo 'exit_use_dir"Resid";quit();' | $(LOGIC); \
         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)
 
 #Test ZF by loading the examples in directory ex