Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Bernhard Haeupler: comm_ring;
authorwenzelm
Wed, 14 Sep 2005 22:04:33 +0200
changeset 17382 32a165db45ea
parent 17381 ec9997d0a3ff
child 17383 3eb21fb8c2ec
Bernhard Haeupler: comm_ring;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle