| changeset 70265 | a8238fd25541 |
| parent 70216 | 40f19372a723 |
| child 70955 | 73ae8c30c6cb |
--- a/CONTRIBUTORS Sat May 11 15:53:11 2019 +0200 +++ b/CONTRIBUTORS Sat May 11 19:08:26 2019 +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 Isabelle2019 -----------------------------