--- a/COPYRIGHT Thu May 27 21:37:42 2010 +0200
+++ b/COPYRIGHT Fri May 28 11:23:34 2010 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 2009,
+Copyright (c) 2010,
University of Cambridge and
Technische Universitaet Muenchen.