| changeset 33951 | 651028e34b5d |
| parent 33897 | 6db9292f586a |
| child 36416 | 9459be72b89e |
--- a/CONTRIBUTORS Fri Dec 04 11:41:17 2009 +0100 +++ b/CONTRIBUTORS Fri Dec 04 11:44:57 2009 +0100 @@ -3,6 +3,9 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + Contributions to Isabelle2009-1 -------------------------------