Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added Primes to list of theories in target ex
authorpaulson
Fri, 14 Jun 1996 12:32:08 +0200
changeset 1803 ff4cb897dfd3
parent 1802 d2f07baaf776
child 1804 cfa0052d5fe9
Added Primes to list of theories in target ex
src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- 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)
isabelle