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.
New example file: Mutil
authorpaulson
Tue, 26 Mar 1996 11:33:13 +0100
changeset 1607 5c123831c4e2
parent 1606 dd66bed09592
child 1608 e15e8c0c1e37
New example file: Mutil
src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- a/src/ZF/Makefile	Tue Mar 26 11:32:14 1996 +0100
+++ b/src/ZF/Makefile	Tue Mar 26 11:33:13 1996 +0100
@@ -125,7 +125,7 @@
 
 ##Miscellaneous examples
 EX_NAMES = Ramsey Limit Integ twos_compl Bin BT Term TF Ntree Brouwer \
-           Data Enum Rmap PropLog ListN Acc Comb Primrec LList CoUnit 
+           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