ELAN 1V5 STANDARD LIBRARY

A library of concrete algorithms, objects and types is available in Elan. Conceptually, they are declared in the "standard packets" which are presupposed for every execution. Version 1.5 of the Elan Programming Environment includes practically all standard packets (see [1]) apart from matrices and vectors, as well as a small number of extensions from the Elan-0 and EUMEL libraries. In this chapter the headings of all definitions in the library are listed. No attempt is made to explain their meaning, since this can be found in the Elan textbooks.



Subsections