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