|
0
|
1 |
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
|
|
|
2 |
|
|
41442
|
3 |
Copyright (c) 2011,
|
|
|
4 |
University of Cambridge,
|
|
|
5 |
Technische Universitaet Muenchen,
|
|
|
6 |
and contributors.
|
|
14981
|
7 |
|
|
|
8 |
All rights reserved.
|
|
|
9 |
|
|
|
10 |
Redistribution and use in source and binary forms, with or without
|
|
|
11 |
modification, are permitted provided that the following conditions are
|
|
|
12 |
met:
|
|
|
13 |
|
|
|
14 |
* Redistributions of source code must retain the above copyright
|
|
|
15 |
notice, this list of conditions and the following disclaimer.
|
|
|
16 |
|
|
|
17 |
* Redistributions in binary form must reproduce the above copyright
|
|
|
18 |
notice, this list of conditions and the following disclaimer in the
|
|
|
19 |
documentation and/or other materials provided with the distribution.
|
|
0
|
20 |
|
|
27306
|
21 |
* Neither the name of the University of Cambridge or the Technische
|
|
|
22 |
Universitaet Muenchen nor the names of their contributors may be used
|
|
|
23 |
to endorse or promote products derived from this software without
|
|
|
24 |
specific prior written permission.
|
|
0
|
25 |
|
|
14981
|
26 |
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
|
|
|
27 |
IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
|
|
|
28 |
TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
|
|
|
29 |
PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
30 |
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
31 |
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
32 |
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
33 |
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
34 |
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
35 |
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
36 |
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|