
Computer Language Reasoning Tool (CLaReT)
COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.

Copyright 1994, 1995, 1996 by University of Cambridge.
Copyright 1997, 1998 by University of Edinburgh.

Permission to use, copy, and extend this software and its documentation for
any purpose and without fee is hereby granted, provided that all of the
copyright notices and permission notices and warranty disclaimers to be found
above and below appear in all copies of the software and in all supporting
documentation.

The University of Cambridge and the University of Edinburgh and the author(s)
of CLaReT disclaim all warranties with regard to this software including all
implied warranties of merchantability and fitness. In no event shall the
University of Cambridge or the University of Edinburgh or the author(s) of
CLaReT be liable for any special, indirect or consequential damages or any
damages whatsoever resulting from loss of use, data or profits, whether in an
action of contract, negligence or other tortious action, arising out of or in
connection with the use or performance of this software.

CLaReT is built using Standard ML of New Jersey, ML-Lex, and ML-Yacc.
Their copyright notices, permission notices, and warranty disclaimers are
included below.

------------------------------------------------------------------------------

STANDARD ML OF NEW JERSEY COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.

Copyright (c) 1989-1998 by Lucent Technologies

Permission to use, copy, modify, and distribute this software and its
documentation for any purpose and without fee is hereby granted,
provided that the above copyright notice appear in all copies and that
both the copyright notice and this permission notice and warranty
disclaimer appear in supporting documentation, and that the name of
Lucent Technologies, Bell Labs or any Lucent entity not be used in
advertising or publicity pertaining to distribution of the software
without specific, written prior permission.

Lucent disclaims all warranties with regard to this software,
including all implied warranties of merchantability and fitness. In no
event shall Lucent be liable for any special, indirect or
consequential damages or any damages whatsoever resulting from loss of
use, data or profits, whether in an action of contract, negligence or
other tortious action, arising out of or in connection with the use
or performance of this software.

------------------------------------------------------------------------------

  Lexical analyzer generator for Standard ML.
        Version 1.6, October 1994

Copyright (c) 1989-92 by Andrew W. Appel, James S. Mattson, David R. Tarditi

This software comes with ABSOLUTELY NO WARRANTY.
This software is subject only to the PRINCETON STANDARD ML SOFTWARE LIBRARY
COPYRIGHT NOTICE, LICENSE AND DISCLAIMER, (in the file "COPYRIGHT",
distributed with this software). You may copy and distribute this software;
see the COPYRIGHT NOTICE for details and restrictions.

------------------------------------------------------------------------------

ML-YACC COPYRIGHT NOTICE, LICENSE AND DISCLAIMER.

Copyright 1989, 1990 by David R. Tarditi Jr. and Andrew W. Appel

Permission to use, copy, modify, and distribute this software and its
documentation for any purpose and without fee is hereby granted,
provided that the above copyright notice appear in all copies and that
both the copyright notice and this permission notice and warranty
disclaimer appear in supporting documentation, and that the names of
David R. Tarditi Jr. and Andrew W. Appel not be used in advertising
or publicity pertaining to distribution of the software without
specific, written prior permission.

David R. Tarditi Jr. and Andrew W. Appel disclaim all warranties with regard to
this software, including all implied warranties of merchantability and fitness.
In no event shall David R. Tarditi Jr. and Andrew W. Appel be liable for any
special, indirect or consequential damages or any damages whatsoever resulting
from loss of use, data or profits, whether in an action of contract, negligence
or other tortious action, arising out of or in connection with the use or
performance of this software.

------------------------------------------------------------------------------
