../ HPJava/ 13-Nov-1997 22:40 - HPJava.tex 13-Nov-1997 22:35 17893 descriptor.eps 13-Nov-1997 21:56 4357 descriptor.fig 13-Nov-1997 21:56 934 group.eps 13-Nov-1997 21:56 5409 group.fig 13-Nov-1997 21:56 2016 layer.eps 13-Nov-1997 21:56 4390 layer.fig 13-Nov-1997 21:56 1464 map.eps 13-Nov-1997 21:56 8063 map.fig 13-Nov-1997 21:56 4107