# HG changeset patch
# User paulson
# Date 834748328 -7200
# Node ID ff4cb897dfd37d4b93823ce95d4d0d3220c5df3b
# Parent  d2f07baaf776a7b05acedbd295b821eeedac8ab2
Added Primes to list of theories in target ex

diff -r d2f07baaf776 -r ff4cb897dfd3 src/ZF/Makefile
--- 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)