CONTRIBUTORS
changeset 17382 32a165db45ea
parent 16892 23887fee6071
child 17532 ab75f2b0cec6
     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.