| changeset 54384 | 50199af40c27 |
| parent 54364 | 8f394986b353 |
| parent 54055 | 5bf55a713232 |
| child 55316 | 885500f4aa6a |
--- a/CONTRIBUTORS Mon Nov 11 17:34:44 2013 +0100 +++ b/CONTRIBUTORS Mon Nov 11 17:44:21 2013 +0100 @@ -3,6 +3,10 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2013-1 -------------------------------