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