| changeset 41651 | c78b786fe060 |
| parent 41596 | e424bc65080d |
| child 44801 | a0459c50cfc9 |
| child 44818 | 27ba81ad0890 |
--- a/CONTRIBUTORS Mon Jan 17 18:32:16 2011 +0100 +++ b/CONTRIBUTORS Mon Jan 17 20:20:51 2011 +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 Isabelle2011 -----------------------------