CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Sep 14 21:44:27 2005 +0200
+++ b/CONTRIBUTORS	Wed Sep 14 22:04:33 2005 +0200
@@ -1,3 +1,6 @@
+
+* September 2005: Bernhard Haeupler
+  Method comm_ring for proving equalities in commutative rings.
 
 * July 2005: Jeremy Avigad, Carnegie Mellon University
   Various improvements of the HOL and HOL-Complex library.