# HG changeset patch
# User wenzelm
# Date 1126728273 -7200
# Node ID 32a165db45ea920ab5c0e6402a2fcdef9f8f225b
# Parent  ec9997d0a3ff1c2a6ab6f49529fa48dbfdca1ed9
Bernhard Haeupler: comm_ring;

diff -r ec9997d0a3ff -r 32a165db45ea 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.