changeset 37383 | 22757d15cd86 |
parent 37303 | 0e4c721d4567 |
child 38461 | 75fc4087764e |
--- a/CONTRIBUTORS Mon Jun 07 17:13:36 2010 +0200 +++ b/CONTRIBUTORS Mon Jun 07 17:39:32 2010 +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 Isabelle2009-2 --------------------------------------