changeset 30383 | ee2c7592e59f |
parent 30179 | c703c9368c12 |
child 30886 | dda08b76fa99 |
--- a/CONTRIBUTORS Mon Mar 09 11:57:48 2009 +0100 +++ b/CONTRIBUTORS Mon Mar 09 15:36:31 2009 +0100 @@ -7,6 +7,10 @@ Contributions to this Isabelle version -------------------------------------- +* March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of + Cambridge + Elementary topology in Euclidean space. + * February 2009: Filip Maric, Univ. of Belgrade A Serbian theory.