diff -r 0e8e8903ff4e -r b2da12097761 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Apr 25 08:34:30 2009 +0200
+++ b/CONTRIBUTORS	Sat Apr 25 20:05:21 2009 +0200
@@ -7,6 +7,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+
+Contributions to Isabelle2009
+-----------------------------
+
 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
   Cambridge
   Elementary topology in Euclidean space.