--- a/COPYRIGHT Thu Jun 12 16:40:59 2003 +0200
+++ b/COPYRIGHT Mon Jun 16 17:48:43 2003 +0200
@@ -1,6 +1,7 @@
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
-Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
+Copyright (C) 2003 by the University of Cambridge, Cambridge, UK and
+ by the Technical University of Munich, Munich, Germany.
Permission to use, copy, modify, and distribute this software and its
documentation for any non-commercial purpose and without fee is hereby
@@ -17,5 +18,3 @@
loss of use, data or profits, whether in an action of contract, negligence
or other tortious action, arising out of or in connection with the use or
performance of this software.
-
-