<LI><A HREF="../packages/leda/MANUAL/MANUAL.html">leda:</A>  LEDA 3.5.2 a library of efficient data types and algorithms 
