more contributors;
authorwenzelm
Mon Mar 09 15:36:31 2009 +0100 (2009-03-09)
changeset 30383ee2c7592e59f
parent 30382 910290f04692
child 30389 85c7ffbfac17
more contributors;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Mon Mar 09 11:57:48 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Mar 09 15:36:31 2009 +0100
     1.3 @@ -7,6 +7,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
     1.8 +  Cambridge
     1.9 +  Elementary topology in Euclidean space.
    1.10 +
    1.11  * February 2009: Filip Maric, Univ. of Belgrade
    1.12    A Serbian theory.
    1.13