added TUM
authorpaulson
Mon Jun 16 17:48:43 2003 +0200 (2003-06-16)
changeset 14058a26a6a36e09d
parent 14057 57de6d68389e
child 14059 5c457e25c95f
added TUM
COPYRIGHT
     1.1 --- a/COPYRIGHT	Thu Jun 12 16:40:59 2003 +0200
     1.2 +++ b/COPYRIGHT	Mon Jun 16 17:48:43 2003 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5  
     1.6 -Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
     1.7 +Copyright (C) 2003 by the University of Cambridge, Cambridge, UK and
     1.8 +                   by the Technical University of Munich, Munich, Germany.
     1.9  
    1.10  Permission to use, copy, modify, and distribute this software and its
    1.11  documentation for any non-commercial purpose and without fee is hereby
    1.12 @@ -17,5 +18,3 @@
    1.13  loss of use, data or profits, whether in an action of contract, negligence
    1.14  or other tortious action, arising out of or in connection with the use or
    1.15  performance of this software.
    1.16 -
    1.17 -