src/HOL/TPTP/TPTP_Parser/ml-yacc/COPYRIGHT
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 46845 6431a93ffeb6
permissions -rw-r--r--
obsolete;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
46845
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     1
ML-YACC COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     2
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     3
Copyright 1989, 1990 by David R. Tarditi Jr. and Andrew W. Appel
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     4
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     5
Permission to use, copy, modify, and distribute this software and its
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     6
documentation for any purpose and without fee is hereby granted,
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     7
provided that the above copyright notice appear in all copies and that
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     8
both the copyright notice and this permission notice and warranty
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
     9
disclaimer appear in supporting documentation, and that the names of
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    10
David R. Tarditi Jr. and Andrew W. Appel not be used in advertising
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    11
or publicity pertaining to distribution of the software without
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    12
specific, written prior permission.
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    13
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    14
David R. Tarditi Jr. and Andrew W. Appel disclaim all warranties with regard to
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    15
this software, including all implied warranties of merchantability and fitness.
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    16
In no event shall David R. Tarditi Jr. and Andrew W. Appel be liable for any
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    17
special, indirect or consequential damages or any damages whatsoever resulting
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    18
from loss of use, data or profits, whether in an action of contract, negligence
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    19
or other tortious action, arising out of or in connection with the use or
6431a93ffeb6 added ml-yacc library sources;
sultana
parents:
diff changeset
    20
performance of this software.