| changeset 78590 | a999bb19ed1e |
| parent 78587 | 12aac1489f3b |
| parent 78513 | f467ff4aa8f9 |
| child 78832 | c62003e05e46 |
--- a/CONTRIBUTORS Sun Aug 27 19:07:12 2023 +0200 +++ b/CONTRIBUTORS Sun Aug 27 19:14:04 2023 +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 Isabelle2023 -----------------------------