-- filename: intlistn.ads 10:25AM  9/11/95
-- instantiates list for integer elements

with listn;
  package intlistn is new listn(integer);