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