# HG changeset patch
# User wenzelm
# Date 1240682721 -7200
# Node ID b2da120977616f020bfa96a804223a192b919d5f
# Parent  0e8e8903ff4ef615ee1723d1dbffbc497158135a
post Isabelle2009 version;

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.