| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| turnstile-en.pdf | 104.0 KiB | 2007-Aug-29 09:05 |
| turnstile_article.pdf | 94.3 KiB | 2007-Aug-21 19:54 |
| turnstile-en.dtx | 20.2 KiB | 2007-Aug-29 08:45 |
| turnstile_article.tex | 12.8 KiB | 2007-Aug-21 19:54 |
| README.en | 2.1 KiB | 2007-Aug-29 09:06 |
| turnstile-en.ins | 1.7 KiB | 2007-Aug-29 08:46 |