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