clasohm@0: ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. clasohm@0: wenzelm@56916: Copyright (c) 1986-2014, wenzelm@41442: University of Cambridge, wenzelm@41442: Technische Universitaet Muenchen, wenzelm@41442: and contributors. kleing@14981: kleing@14981: All rights reserved. kleing@14981: kleing@14981: Redistribution and use in source and binary forms, with or without kleing@14981: modification, are permitted provided that the following conditions are kleing@14981: met: kleing@14981: kleing@14981: * Redistributions of source code must retain the above copyright kleing@14981: notice, this list of conditions and the following disclaimer. kleing@14981: kleing@14981: * Redistributions in binary form must reproduce the above copyright kleing@14981: notice, this list of conditions and the following disclaimer in the kleing@14981: documentation and/or other materials provided with the distribution. clasohm@0: wenzelm@27306: * Neither the name of the University of Cambridge or the Technische wenzelm@27306: Universitaet Muenchen nor the names of their contributors may be used wenzelm@27306: to endorse or promote products derived from this software without wenzelm@27306: specific prior written permission. clasohm@0: kleing@14981: THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS kleing@14981: IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED kleing@14981: TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A kleing@14981: PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT kleing@14981: OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, kleing@14981: SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT kleing@14981: LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, kleing@14981: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY kleing@14981: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT kleing@14981: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE kleing@14981: OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.