../ gifs/ 02-May-2017 18:12 - abstr.asc 22-Apr-2016 18:52 1120 abstr.html 22-Apr-2016 18:52 1924 tian-tex 22-Apr-2016 18:52 32180 tian.dvi 05-Jan-2011 21:17 0 tian.pdf 22-Apr-2016 18:52 232958 tian.ps.gz 05-Jan-2011 21:20 0