Bernhard Haeupler: comm_ring;
authorwenzelm
Wed Sep 14 22:04:33 2005 +0200 (2005-09-14)
changeset 1738232a165db45ea
parent 17381 ec9997d0a3ff
child 17383 3eb21fb8c2ec
Bernhard Haeupler: comm_ring;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Sep 14 21:44:27 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Sep 14 22:04:33 2005 +0200
     1.3 @@ -1,3 +1,6 @@
     1.4 +
     1.5 +* September 2005: Bernhard Haeupler
     1.6 +  Method comm_ring for proving equalities in commutative rings.
     1.7  
     1.8  * July 2005: Jeremy Avigad, Carnegie Mellon University
     1.9    Various improvements of the HOL and HOL-Complex library.