* October 2006: Stefan Hohe, TUM;
authorwenzelm
Sat Nov 04 19:25:34 2006 +0100 (2006-11-04)
changeset 21169b6a5c98c5e38
parent 21168 0f869edd6cc1
child 21170 01ef0dbd51ae
* October 2006: Stefan Hohe, TUM;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sat Nov 04 13:19:04 2006 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Nov 04 19:25:34 2006 +0100
     1.3 @@ -2,6 +2,9 @@
     1.4  Contributions to Isabelle
     1.5  -------------------------
     1.6  
     1.7 +* October 2006: Stefan Hohe, TUM
     1.8 +  HOL-Algebra: ideals and quotients over rings.
     1.9 +
    1.10  * August 2006: Amine Chaieb, TUM
    1.11    Experimental support for generic reflection and reification in HOL.
    1.12