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