# HG changeset patch
# User wenzelm
# Date 1162664734 -3600
# Node ID b6a5c98c5e386b2afbc95fa1f88c3802377ffadd
# Parent  0f869edd6cc1ce8894561cfc004e9a3086ed8ad5
* October 2006: Stefan Hohe, TUM;

diff -r 0f869edd6cc1 -r b6a5c98c5e38 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Nov 04 13:19:04 2006 +0100
+++ b/CONTRIBUTORS	Sat Nov 04 19:25:34 2006 +0100
@@ -2,6 +2,9 @@
 Contributions to Isabelle
 -------------------------
 
+* October 2006: Stefan Hohe, TUM
+  HOL-Algebra: ideals and quotients over rings.
+
 * August 2006: Amine Chaieb, TUM
   Experimental support for generic reflection and reification in HOL.