CONTRIBUTORS
changeset 17534 56e8db202f66
parent 17532 ab75f2b0cec6
child 17543 79cc33f5ed37
equal deleted inserted replaced
17533:f22f2ffd78ba 17534:56e8db202f66
     1 
     1 
     2 Contributions to Isabelle 2005
     2 Contributions to Isabelle 2005
     3 ------------------------------
     3 ------------------------------
       
     4 
       
     5 * September 2005: Ning Zhang and Christian Urban, LMU Munich
       
     6   A Chinese theory.
     4 
     7 
     5 * September 2005: Bernhard Haeupler
     8 * September 2005: Bernhard Haeupler
     6   Method comm_ring for proving equalities in commutative rings.
     9   Method comm_ring for proving equalities in commutative rings.
     7 
    10 
     8 * July/August 2005: Jeremy Avigad, Carnegie Mellon University
    11 * July/August 2005: Jeremy Avigad, Carnegie Mellon University