../ README.en 29-Aug-2007 09:06 2188 turnstile-en.dtx 29-Aug-2007 08:45 20K turnstile-en.ins 29-Aug-2007 08:46 1771 turnstile-en.pdf 29-Aug-2007 09:05 104K turnstile_article.pdf 21-Aug-2007 19:54 94K turnstile_article.tex 21-Aug-2007 19:54 13K