/*  EDEN.P  */


/*
SPECIFICATION
-------------

This is the master file which load the code for Eden. It loads 'needs',
and then loads eden_core.
*/


/*
IMPLEMENTATION
--------------

See the implementation notes in EDEN_CORE.P for other information.
*/


lib needs;
lib eden_core;