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