clasohm@0: ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
clasohm@0: 
lcp@194: Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
clasohm@0: 
clasohm@0: Permission to use, copy, modify, and distribute this software and its
clasohm@0: documentation for any non-commercial purpose and without fee is hereby
clasohm@0: granted, provided that the above copyright notice appears in all copies and
clasohm@0: that both the copyright notice and this permission notice and warranty
clasohm@0: disclaimer appear in supporting documentation, and that the name of the
clasohm@0: University of Cambridge not be used in advertising or publicity pertaining
clasohm@0: to distribution of the software without specific, written prior permission.
clasohm@0: 
clasohm@0: The University of Cambridge disclaims all warranties with regard to this
clasohm@0: software, including all implied warranties of merchantability and fitness.
clasohm@0: In no event shall the University of Cambridge be liable for any special,
clasohm@0: indirect or consequential damages or any damages whatsoever resulting from
clasohm@0: loss of use, data or profits, whether in an action of contract, negligence
clasohm@0: or other tortious action, arising out of or in connection with the use or
clasohm@0: performance of this software.
clasohm@0: 
clasohm@0: