--Waterlily.config
-- Last edited by:
-- Kolling on February 23, 1983 11:47 am


DIRECTORY

RedBlackTreeImpl: FROM "WaterlilyRedBlackTreeImpl";

Waterlily: CONFIGURATION
IMPORTS FileIO, IO, Rope, SafeStorage, Time, UserExec
CONTROL WaterlilyImpl =

BEGIN

WaterlilyImpl;
RedBlackTreeImpl;

END.