|
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
|
|
|
11 |
University of Cambridge not be used in advertising or publicity pertaining
|
|
|
12 |
to distribution of the software without specific, written prior permission.
|
|
|
13 |
|
|
|
14 |
The University of Cambridge disclaims all warranties with regard to this
|
|
|
15 |
software, including all implied warranties of merchantability and fitness.
|
|
|
16 |
In no event shall the University of Cambridge be liable for any special,
|
|
|
17 |
indirect or consequential damages or any damages whatsoever resulting from
|
|
|
18 |
loss of use, data or profits, whether in an action of contract, negligence
|
|
|
19 |
or other tortious action, arising out of or in connection with the use or
|
|
|
20 |
performance of this software.
|