-- filename intlidbl.ads 1:34PM  9/7/95
-- instantiates doubly-linked list of integers

with intlistn, listn.dbl;
  package intlistn.dbl is new intlistn.dbl;