COPYRIGHT
author paulson
Mon Jun 16 17:48:43 2003 +0200 (2003-06-16)
changeset 14058 a26a6a36e09d
parent 194 06e31ac55dd1
child 14059 5c457e25c95f
permissions -rw-r--r--
added TUM
clasohm@0
     1
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
clasohm@0
     2
paulson@14058
     3
Copyright (C) 2003 by the University of Cambridge, Cambridge, UK and
paulson@14058
     4
                   by the Technical University of Munich, Munich, Germany.
clasohm@0
     5
clasohm@0
     6
Permission to use, copy, modify, and distribute this software and its
clasohm@0
     7
documentation for any non-commercial purpose and without fee is hereby
clasohm@0
     8
granted, provided that the above copyright notice appears in all copies and
clasohm@0
     9
that both the copyright notice and this permission notice and warranty
clasohm@0
    10
disclaimer appear in supporting documentation, and that the name of the
clasohm@0
    11
University of Cambridge not be used in advertising or publicity pertaining
clasohm@0
    12
to distribution of the software without specific, written prior permission.
clasohm@0
    13
clasohm@0
    14
The University of Cambridge disclaims all warranties with regard to this
clasohm@0
    15
software, including all implied warranties of merchantability and fitness.
clasohm@0
    16
In no event shall the University of Cambridge be liable for any special,
clasohm@0
    17
indirect or consequential damages or any damages whatsoever resulting from
clasohm@0
    18
loss of use, data or profits, whether in an action of contract, negligence
clasohm@0
    19
or other tortious action, arising out of or in connection with the use or
clasohm@0
    20
performance of this software.