COPYRIGHT
changeset 0 a5a9c433f639
child 194 06e31ac55dd1
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/COPYRIGHT	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,21 @@
     1.4 +ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     1.5 +
     1.6 +Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
     1.7 +
     1.8 +Permission to use, copy, modify, and distribute this software and its
     1.9 +documentation for any non-commercial purpose and without fee is hereby
    1.10 +granted, provided that the above copyright notice appears in all copies and
    1.11 +that both the copyright notice and this permission notice and warranty
    1.12 +disclaimer appear in supporting documentation, and that the name of the
    1.13 +University of Cambridge not be used in advertising or publicity pertaining
    1.14 +to distribution of the software without specific, written prior permission.
    1.15 +
    1.16 +The University of Cambridge disclaims all warranties with regard to this
    1.17 +software, including all implied warranties of merchantability and fitness.
    1.18 +In no event shall the University of Cambridge be liable for any special,
    1.19 +indirect or consequential damages or any damages whatsoever resulting from
    1.20 +loss of use, data or profits, whether in an action of contract, negligence
    1.21 +or other tortious action, arising out of or in connection with the use or
    1.22 +performance of this software.
    1.23 +
    1.24 +