CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Oct 07 09:29:11 2016 +0200
+++ b/CONTRIBUTORS	Fri Oct 07 10:23:50 2016 +0200
@@ -3,8 +3,8 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2016-1
+-------------------------------
 
 * January 2016: Florian Haftmann, TUM
   Abolition of compound operators INFIMUM and SUPREMUM