CONTRIBUTORS
changeset 17534 56e8db202f66
parent 17532 ab75f2b0cec6
child 17543 79cc33f5ed37
     1.1 --- a/CONTRIBUTORS	Tue Sep 20 21:48:47 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Sep 20 21:51:06 2005 +0200
     1.3 @@ -2,6 +2,9 @@
     1.4  Contributions to Isabelle 2005
     1.5  ------------------------------
     1.6  
     1.7 +* September 2005: Ning Zhang and Christian Urban, LMU Munich
     1.8 +  A Chinese theory.
     1.9 +
    1.10  * September 2005: Bernhard Haeupler
    1.11    Method comm_ring for proving equalities in commutative rings.
    1.12