../ ts10pt.sty 15-Dec-1993 07:00 2390 ts11pt.sty 15-Dec-1993 07:00 2393 ts12pt.sty 15-Dec-1993 07:00 2399 tsipa.sty 15-Dec-1993 07:00 19500