COPYRIGHT
author paulson
Tue, 10 Feb 2004 12:02:11 +0100
changeset 14378 69c4d5997669
parent 14059 5c457e25c95f
child 14981 e73f8140af78
permissions -rw-r--r--
generic of_nat and of_int functions, and generalization of iszero and neg
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
14058
a26a6a36e09d added TUM
paulson
parents: 194
diff changeset
     3
Copyright (C) 2003 by the University of Cambridge, Cambridge, UK and
a26a6a36e09d added TUM
paulson
parents: 194
diff changeset
     4
                   by the Technical University of Munich, Munich, Germany.
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     5
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     6
Permission to use, copy, modify, and distribute this software and its
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     7
documentation for any non-commercial purpose and without fee is hereby
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     8
granted, provided that the above copyright notice appears in all copies and
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     9
that both the copyright notice and this permission notice and warranty
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    10
disclaimer appear in supporting documentation, and that the name of the
14059
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    11
University of Cambridge or the Technical University of Munich not be used in
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    12
advertising or publicity pertaining to distribution of the software without
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    13
specific, written prior permission.
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    14
14059
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    15
The University of Cambridge and the Technical University of Munich disclaim
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    16
all warranties with regard to this software, including all implied warranties
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    17
of merchantability and fitness.  In no event shall the University of Cambridge
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    18
or the Technical University of Munich be liable for any special, indirect or
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    19
consequential damages or any damages whatsoever resulting from loss of use,
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    20
data or profits, whether in an action of contract, negligence or other
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    21
tortious action, arising out of or in connection with the use or performance
5c457e25c95f inserted TUM in other places
paulson
parents: 14058
diff changeset
    22
of this software.