# HG changeset patch
# User paulson
# Date 1055778523 -7200
# Node ID a26a6a36e09da462f430ad8fb1397be9a4408979
# Parent  57de6d68389e77f696de159e12a47f3bb7c60247
added TUM

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.
-
-