/* $Id: README,v 1.1 1992/09/28 15:09:33 uwe Exp uwe $ */
/* Copyright, 1992, AG-Kastens, University Of Paderborn */

Eli Specification Module Library
================================

This is a library with precoined AG specifications.
The modules of this library can be used in AGs via
the LIDO-3 concept of inheritance of symbol computations.
The technique is briefly described in the document
"LIDO Short Reference". 

The library is made up to be used in Eli 3.3.

The library modules and the mechanism to use them are
described in the library documentation
(Info/modlib.tex). Online documentation is under preparation.

The library is still in a rather initial state. We are
working on its extension and improvement of its modules.
Any contribution, comment, suggestion, or ctritics are
welcome aand could be helpful for all users of the
library!

In subdir Examp you'll find example usages of the modules,
Examp/ExYYY.specs for the module YYY.

