Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
README.en 2007-08-29 02:06 2.1K
turnstile-en.dtx 2007-08-29 01:45 20K
turnstile-en.ins 2007-08-29 01:46 1.7K
turnstile-en.pdf 2007-08-29 02:05 104K
turnstile_article.pdf 2007-08-21 12:54 94K
turnstile_article.tex 2007-08-21 12:54 13K