--- a/COPYRIGHT Fri Jun 20 21:01:17 2008 +0200
+++ b/COPYRIGHT Fri Jun 20 22:02:33 2008 +0200
@@ -1,6 +1,6 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (c) 2007,
+Copyright (c) 2008,
University of Cambridge and
Technische Universitaet Muenchen.
@@ -17,10 +17,10 @@
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
-* Neither the name of the University of Cambridge or the Technical
-University of Munich nor the names of their contributors may be used to
-endorse or promote products derived from this software without specific
-prior written permission.
+* Neither the name of the University of Cambridge or the Technische
+Universitaet Muenchen nor the names of their contributors may be used
+to endorse or promote products derived from this software without
+specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED