diff -r 910290f04692 -r ee2c7592e59f CONTRIBUTORS
--- 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.