CONTRIBUTORS
changeset 21169 b6a5c98c5e38
parent 20340 6afc1c133b86
child 21242 d73735bb33c1
     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