| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| turnstile_article.tex | 12.8 KiB | Aug 21, 2007 |
| turnstile_article.pdf | 94.3 KiB | Aug 21, 2007 |
| turnstile-en.pdf | 104.0 KiB | Aug 29, 2007 |
| turnstile-en.ins | 1.7 KiB | Aug 29, 2007 |
| turnstile-en.dtx | 20.2 KiB | Aug 29, 2007 |
| README.en | 2.1 KiB | Aug 29, 2007 |