changeset 76244 | 6ab4bb7cb8b2 |
parent 76097 | c6c0947804d6 |
child 76295 | 77e13a694cbe |
--- a/CONTRIBUTORS Sun Oct 02 17:41:34 2022 +0200 +++ b/CONTRIBUTORS Sun Oct 02 18:22:49 2022 +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 Isabelle2022 -----------------------------