../ README.en 29-Aug-2007 08:06 2188 turnstile-en.dtx 29-Aug-2007 07:45 20653 turnstile-en.ins 29-Aug-2007 07:46 1771 turnstile-en.pdf 29-Aug-2007 08:05 106466 turnstile_article.pdf 21-Aug-2007 18:54 96546 turnstile_article.tex 21-Aug-2007 18:54 13096