0
+ − 1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
+ − 2
47462
+ − 3 Copyright (c) 2012,
41442
+ − 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.