CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Jun 07 11:40:24 2023 +0200
+++ b/CONTRIBUTORS	Wed Jun 07 13:02:40 2023 +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 Isabelle2023
+-----------------------------
 
 * October 2022: Jeremy Sylvestre
   Lemmas for Fun and List.