diff -r a502d7e06855 -r 7ea4f986e41a 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.