COPYRIGHT
author wenzelm
Tue, 01 Aug 1995 17:17:49 +0200
changeset 1215 a206f722bef9
parent 194 06e31ac55dd1
child 14058 a26a6a36e09d
permissions -rw-r--r--
added nonempty_sort (a somewhat braindead version!);
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
194
06e31ac55dd1 new year
lcp
parents: 0
diff changeset
     3
Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     4
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     5
Permission to use, copy, modify, and distribute this software and its
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     6
documentation for any non-commercial purpose and without fee is hereby
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     7
granted, provided that the above copyright notice appears in all copies and
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     8
that both the copyright notice and this permission notice and warranty
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     9
disclaimer appear in supporting documentation, and that the name of the
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    10
University of Cambridge not be used in advertising or publicity pertaining
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    11
to distribution of the software without specific, written prior permission.
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    12
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    13
The University of Cambridge disclaims all warranties with regard to this
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    14
software, including all implied warranties of merchantability and fitness.
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    15
In no event shall the University of Cambridge be liable for any special,
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    16
indirect or consequential damages or any damages whatsoever resulting from
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    17
loss of use, data or profits, whether in an action of contract, negligence
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    18
or other tortious action, arising out of or in connection with the use or
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    19
performance of this software.
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    20
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    21