../ 13.aux.gz 24-Jul-1998 18:50 1004 13.dvi.gz 24-Jul-1998 18:50 13772 13.log.gz 24-Jul-1998 18:50 1816 13.ps.gz 24-Jul-1998 18:50 63628 13.tex.gz 24-Jul-1998 18:50 9991 class_image.ps.gz 24-Jul-1998 18:50 14996 image1.ps.gz 24-Jul-1998 18:50 2316 image3.ps.gz 24-Jul-1998 18:50 29041 javapap.ps.gz 24-Jul-1998 18:51 76812 rmi_image.ps.gz 24-Jul-1998 18:51 14479 white2.ps.gz 24-Jul-1998 18:51 1943