LEGAL NOTICE

Software: Caml Light, version 0.71 of January 1996, hereinafter
referred to as "the software".

The software has been designed and produced by Xavier Leroy,
Damien Doligez, Francois Rouaix, Jerome Vouillon and Pierre Weis,
research workers for the Institut National de Recherche en Informatique et
en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le
Chesnay Cedex - France.

INRIA holds all ownership rights to Caml Light version 0.7.

The software has been registered at Agence pour la Protection
des Programmes (APP).

Preamble:

The software is currently being developed and INRIA desires
that it be used by the scientific community so as to test, evaluate
and develop it.  To this end, INRIA has decided to have a prototype of
the software distributed by FTP.

a- Extent of the rights granted by the INRIA to the user of the software:

INRIA freely grants the right to use, modify and integrate the
software in another software, provided that all derivative works are
distributed under the same conditions as the software.

b- Reproduction of the software:

INRIA grants any user of the software the right to reproduce it so as
to circulate it in accordance with the same purposes and conditions as
those defined at point a- above.  Any copy of the software and/or relevant
documentation must comprise reference to the ownership of INRIA and
the present file.

The user undertakes not to carry out any paying distribution of the
software. However, he is authorized to bill any person or body for the
cost of reproduction of said software. As regards any other type of
distribution, the user undertakes to apply to obtain the express
approval of INRIA.

c- Guarantees:

Please note that the software is a product currently being developed.
INRIA shall not be responsible in any way concerning conformity, and in
particular shall not be liable should the software not comply with the
requirements of the user, INRIA not being obliged to repair any
possible direct or indirect damage.

d- Distribution of executable files generated by Caml Light:

INRIA freely grants the right to distribute bytecode executable files
generated by the Caml Light compiler (camlc) as well as binaries of
the Caml Light run-time system (camlrun), with the sole condition that
the documentation include the following statement:
   "This software includes the Caml Light run-time system,
    which is copyright INRIA, 1991-1995."

All other files included in the Caml Light distribution or generated
by the Caml Light system are subject to the conditions in points a-
and b- above.
