HOL/ex/Chinese.thy;
authorwenzelm
Tue Sep 20 21:51:06 2005 +0200 (2005-09-20)
changeset 1753456e8db202f66
parent 17533 f22f2ffd78ba
child 17535 cd0a4847d0b8
HOL/ex/Chinese.thy;
CONTRIBUTORS
     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