Hosted by
-- $Date: 2004/01/01 12:32:55 $ -- $Revision: 1.1 $ -- $Author: jcrocholl $ with Integer_Functions; use Integer_Functions; with Integer_Strings; use Integer_Strings; with Vectors; -- Instantiation of Vectors with Integer as the Number type. package Integer_Vectors is new Vectors(Integer, 0);