diff -r db9c2af6ce72 -r 740c70a21523 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Dec 31 20:57:00 2015 +0100
+++ b/CONTRIBUTORS	Thu Dec 31 21:06:09 2015 +0100
@@ -3,12 +3,12 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2016
+-----------------------------
 
 * Autumn 2015: Florian Haftmann, TUM
-  Rewrite definitions for global interpretations and
-  sublocale declarations.
+  Rewrite definitions for global interpretations and sublocale
+  declarations.
 
 * Autumn 2015: Andreas Lochbihler
   Bourbaki-Witt fixpoint theorem for increasing functions on