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.
HOL/ex/Chinese.thy;
authorwenzelm
Tue, 20 Sep 2005 21:51:06 +0200
changeset 17534 56e8db202f66
parent 17533 f22f2ffd78ba
child 17535 cd0a4847d0b8
HOL/ex/Chinese.thy;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Tue Sep 20 21:48:47 2005 +0200
+++ b/CONTRIBUTORS	Tue Sep 20 21:51:06 2005 +0200
@@ -2,6 +2,9 @@
 Contributions to Isabelle 2005
 ------------------------------
 
+* September 2005: Ning Zhang and Christian Urban, LMU Munich
+  A Chinese theory.
+
 * September 2005: Bernhard Haeupler
   Method comm_ring for proving equalities in commutative rings.
isabelle