../ TrashMe.tex 15-Feb-1993 07:00 3717 box.ps 15-Feb-1993 07:00 7028 ls-lr 15-Feb-1993 07:00 519 psbREAD.ME 15-Feb-1993 07:00 1948 psbox.tex 15-Feb-1993 07:00 22507 psboxOK.tex 15-Feb-1993 07:00 1048 psboxall.tex 15-Feb-1993 07:00 53953 psbsamp.tex 15-Feb-1993 07:00 19895 psbug.tex 15-Feb-1993 07:00 642