COPYRIGHT

--- a/COPYRIGHT	Fri Jan 07 13:24:09 2011 +0100
+++ b/COPYRIGHT	Fri Jan 07 14:36:41 2011 +0100
@@ -1,8 +1,9 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2010,
-  University of Cambridge and
-  Technische Universitaet Muenchen.
+Copyright (c) 2011,
+  University of Cambridge,
+  Technische Universitaet Muenchen,
+  and contributors.
 
   All rights reserved.