diff -r ca450d902198 -r d0c8e8ca3505 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jan 17 00:16:14 2021 +0100
+++ b/CONTRIBUTORS	Sun Jan 17 11:19:15 2021 +0100
@@ -3,10 +3,6 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
-
-
 Contributions to Isabelle2021
 -----------------------------