--- a/COPYRIGHT Wed Sep 21 11:50:20 2005 +0200
+++ b/COPYRIGHT Wed Sep 21 11:50:38 2005 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 2004,
+Copyright (c) 2005,
University of Cambridge and
Technische Universitaet Muenchen.