COPYRIGHT
author paulson
Thu Jun 19 18:40:39 2003 +0200 (2003-06-19)
changeset 14059 5c457e25c95f
parent 14058 a26a6a36e09d
child 14981 e73f8140af78
permissions -rw-r--r--
inserted TUM in other places
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
paulson@14059
    11
University of Cambridge or the Technical University of Munich not be used in
paulson@14059
    12
advertising or publicity pertaining to distribution of the software without
paulson@14059
    13
specific, written prior permission.
clasohm@0
    14
paulson@14059
    15
The University of Cambridge and the Technical University of Munich disclaim
paulson@14059
    16
all warranties with regard to this software, including all implied warranties
paulson@14059
    17
of merchantability and fitness.  In no event shall the University of Cambridge
paulson@14059
    18
or the Technical University of Munich be liable for any special, indirect or
paulson@14059
    19
consequential damages or any damages whatsoever resulting from loss of use,
paulson@14059
    20
data or profits, whether in an action of contract, negligence or other
paulson@14059
    21
tortious action, arising out of or in connection with the use or performance
paulson@14059
    22
of this software.