CONTRIBUTORS
changeset 30978 b2da12097761
parent 30886 dda08b76fa99
child 31466 48805704ecc6
     1.1 --- a/CONTRIBUTORS	Sat Apr 25 08:34:30 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Apr 25 20:05:21 2009 +0200
     1.3 @@ -7,6 +7,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +
     1.8 +Contributions to Isabelle2009
     1.9 +-----------------------------
    1.10 +
    1.11  * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
    1.12    Cambridge
    1.13    Elementary topology in Euclidean space.