| changeset 73126 | 1105c42722dc |
| parent 73124 | 802647edfe7b |
| child 73127 | 4c4d479b097d |
| child 73143 | d0c8e8ca3505 |
--- a/CONTRIBUTORS Sun Jan 10 15:39:02 2021 +0100 +++ b/CONTRIBUTORS Sun Jan 10 15:48:15 2021 +0100 @@ -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 Isabelle2021 -----------------------------