diff -r 24ad77c3a147 -r 20b3377b08d7 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Sep 26 21:09:28 2011 +0200
+++ b/CONTRIBUTORS	Mon Sep 26 21:13:26 2011 +0200
@@ -3,6 +3,10 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
+Contributions to this Isabelle version
+--------------------------------------
+
+
 Contributions to Isabelle2011-1
 -------------------------------