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