| changeset 54055 | 5bf55a713232 |
| parent 54051 | cdba71c67860 |
| child 54384 | 50199af40c27 |
--- a/CONTRIBUTORS Thu Oct 03 16:32:33 2013 +0200 +++ b/CONTRIBUTORS Thu Oct 03 19:01:10 2013 +0200 @@ -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 -------------------------------