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