1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (C) 2003 by the University of Cambridge, Cambridge, UK and |
3 Copyright (c) 2004, |
4 by the Technical University of Munich, Munich, Germany. |
4 University of Cambridge and |
|
5 Technische Universitaet Muenchen. |
5 |
6 |
6 Permission to use, copy, modify, and distribute this software and its |
7 All rights reserved. |
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 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. |
|
14 |
8 |
15 The University of Cambridge and the Technical University of Munich disclaim |
9 Redistribution and use in source and binary forms, with or without |
16 all warranties with regard to this software, including all implied warranties |
10 modification, are permitted provided that the following conditions are |
17 of merchantability and fitness. In no event shall the University of Cambridge |
11 met: |
18 or the Technical University of Munich be liable for any special, indirect or |
12 |
19 consequential damages or any damages whatsoever resulting from loss of use, |
13 * Redistributions of source code must retain the above copyright |
20 data or profits, whether in an action of contract, negligence or other |
14 notice, this list of conditions and the following disclaimer. |
21 tortious action, arising out of or in connection with the use or performance |
15 |
22 of this software. |
16 * Redistributions in binary form must reproduce the above copyright |
|
17 notice, this list of conditions and the following disclaimer in the |
|
18 documentation and/or other materials provided with the distribution. |
|
19 |
|
20 * Neither the name of the University of Cambridge or the Technical |
|
21 University of Munich nor the names of their contributors may be used to |
|
22 endorse or promote products derived from this software without specific |
|
23 prior written permission. |
|
24 |
|
25 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS |
|
26 IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED |
|
27 TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A |
|
28 PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
|
29 OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
|
30 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
|
31 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
|
32 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
|
33 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
|
34 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
|
35 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |