../ lthenc.def 20-May-2013 12:47 6729 thai.dtx 20-May-2013 12:47 39246 thai.ins 20-May-2013 12:47 4931 thai.pdf 20-May-2013 12:47 216258 tis620.def 20-May-2013 12:47 3880