--- a/COPYRIGHT Tue Apr 14 23:58:46 2009 +0200
+++ b/COPYRIGHT Wed Apr 15 11:14:48 2009 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 2008,
+Copyright (c) 2009,
University of Cambridge and
Technische Universitaet Muenchen.