| changeset 50994 | aafd4270b4d4 |
| parent 50993 | 2c3d0cb151c0 |
| child 51167 | 55644f8caeb3 |
--- a/CONTRIBUTORS Sun Jan 20 15:26:56 2013 +0100 +++ b/CONTRIBUTORS Sun Jan 20 15:34:27 2013 +0100 @@ -3,6 +3,9 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + Contributions to Isabelle2013 -----------------------------