-- filename intlisio.ads 2:24PM  11/2/95
-- instantiates list i/o package for integer lists

with intlistn, listn.io, gnat.io;
use gnat.io;
package intlistn.io is new intlistn.io(Put);