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