# HG changeset patch
# User wenzelm
# Date 1127245866 -7200
# Node ID 56e8db202f66b83489aa70c06a92c29a9e919fc3
# Parent  f22f2ffd78ba6570a03b1987416e4c7c34d5d31e
HOL/ex/Chinese.thy;

diff -r f22f2ffd78ba -r 56e8db202f66 CONTRIBUTORS
--- 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.