diff -r 7b0ccc20cddc -r 22757d15cd86 CONTRIBUTORS --- 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 --------------------------------------