../ textyl.tex 08-Nov-1993 07:00 1292 tylman.dvi 08-Nov-1993 07:00 161K tylman.tex 08-Nov-1993 07:00 139K tylout.dvi 08-Nov-1993 07:00 240K