changeset 64439 | 2bafda87b524 |
parent 64433 | d4829dc875fb |
child 64555 | 628b271c5b8b |
--- a/CONTRIBUTORS Tue Nov 01 01:04:53 2016 +0100 +++ b/CONTRIBUTORS Tue Nov 01 01:20:33 2016 +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 Isabelle2016-1 -------------------------------