-- $Date: 2003/12/31 05:52:57 $
-- $Revision: 1.2 $
-- $Author: jcrocholl $

with Real_Numbers; use Real_Numbers;
with Real_Functions; use Real_Functions;
with Real_Strings; use Real_Strings;
with Vectors;

-- Instantiation of Vectors with Real as the Number type.
package Real_Vectors is new Vectors(Real, 0.0);