Hosted by
-- $Date: 2003/12/28 05:07:36 $ -- $Revision: 1.1 $ -- $Author: jcrocholl $ with Heaps; with Intersections; use Intersections; -- Instantiation of Heaps with Intersection as the Content_Type. package Intersection_Heaps is new Heaps(Intersection);