diff -r 57de6d68389e -r a26a6a36e09d COPYRIGHT
--- 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.
-
-