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.