CONTRIBUTORS
changeset 17562 623c9e8668aa
parent 17543 79cc33f5ed37
child 17572 81fcc0029761
     1.1 --- a/CONTRIBUTORS	Wed Sep 21 14:45:55 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Sep 21 14:46:10 2005 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  * September 2005: Ning Zhang and Christian Urban, LMU Munich
     1.5    A Chinese theory.
     1.6  
     1.7 -* September 2005: Bernhard Haeupler
     1.8 +* September 2005: Bernhard Haeupler, TUM
     1.9    Method comm_ring for proving equalities in commutative rings.
    1.10  
    1.11  * July/August 2005: Jeremy Avigad, Carnegie Mellon University