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