| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| turnstile_artigo.tex | 13.8 KiB | Aug 23, 2007 |
| turnstile_artigo.pdf | 143.7 KiB | Aug 23, 2007 |
| turnstile-pt.pdf | 313.1 KiB | Aug 29, 2007 |
| turnstile-pt.ins | 1.8 KiB | Aug 29, 2007 |
| turnstile-pt.dtx | 20.9 KiB | Aug 29, 2007 |
| README.pt | 2.2 KiB | Aug 29, 2007 |