../ april_prog.pub.chk 06-May-1996 13:40 87540 april_prog.pub.dvi 06-May-1996 13:40 8772 april_prog.pub.dvx 06-May-1996 13:39 128 april_prog.pub.ps 06-May-1996 13:39 44345 april_prog.pub.pub 06-May-1996 13:40 18298 april_prog.pub.sty 06-May-1996 13:38 653 april_prog.pub.tex 06-May-1996 13:38 7389