more contributors;
authorwenzelm
Mon, 09 Mar 2009 15:36:31 +0100
changeset 30383 ee2c7592e59f
parent 30382 910290f04692
child 30389 85c7ffbfac17
more contributors;
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.