changeset 80136 | 12ce957231e0 |
parent 80133 | e414bcc5a39e |
--- a/CONTRIBUTORS Thu Apr 18 15:20:24 2024 +0200 +++ b/CONTRIBUTORS Thu Apr 18 13:06:48 2024 +0200 @@ -3,6 +3,10 @@ listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2024 -----------------------------