COPYRIGHT
author haftmann
Wed Dec 27 19:10:06 2006 +0100 (2006-12-27)
changeset 21915 4e63c55f4cb4
parent 17547 b0d70cf4ed18
child 24798 d04aaadfd7ae
permissions -rw-r--r--
different handling of type variable names
clasohm@0
     1
ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
clasohm@0
     2
wenzelm@17547
     3
Copyright (c) 2005,
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
kleing@14981
    20
* Neither the name of the University of Cambridge or the Technical 
kleing@14981
    21
University of Munich nor the names of their contributors may be used to 
kleing@14981
    22
endorse or promote products derived from this software without specific 
kleing@14981
    23
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.