Hosted by
-- $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);