CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Sep 07 23:55:40 2011 +0200
+++ b/CONTRIBUTORS	Thu Sep 08 00:23:23 2011 +0200
@@ -3,8 +3,8 @@
 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
+-------------------------------
 
 * September 2011: Peter Gammie
   Theory HOL/Libary/Saturated: numbers with saturated arithmetic.