author | wenzelm |
Wed, 21 Sep 2005 14:46:10 +0200 | |
changeset 17562 | 623c9e8668aa |
parent 17561 | bde06ed41123 |
child 17563 | abb280dd3431 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- a/CONTRIBUTORS Wed Sep 21 14:45:55 2005 +0200 +++ b/CONTRIBUTORS Wed Sep 21 14:46:10 2005 +0200 @@ -5,7 +5,7 @@ * September 2005: Ning Zhang and Christian Urban, LMU Munich A Chinese theory. -* September 2005: Bernhard Haeupler +* September 2005: Bernhard Haeupler, TUM Method comm_ring for proving equalities in commutative rings. * July/August 2005: Jeremy Avigad, Carnegie Mellon University