--- a/COPYRIGHT Mon Oct 01 19:42:40 2007 +0200
+++ b/COPYRIGHT Mon Oct 01 19:43:34 2007 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 2005,
+Copyright (c) 2007,
University of Cambridge and
Technische Universitaet Muenchen.