-- filename intdblio.ads 7:20AM  9/8/95
-- instantiates doubly-linked lists io package for integers

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