# HG changeset patch
# User wenzelm
# Date 1236609391 -3600
# Node ID ee2c7592e59f55c17553d9f359c65a69fa992cbc
# Parent  910290f0469290c1a10ee7292b85cfad02a22335
more contributors;

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.