| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.pt | 2.2 KiB | 2007-Aug-29 10:07 |
| turnstile-pt.dtx | 20.9 KiB | 2007-Aug-29 09:50 |
| turnstile-pt.ins | 1.8 KiB | 2007-Aug-29 09:50 |
| turnstile-pt.pdf | 313.1 KiB | 2007-Aug-29 10:01 |
| turnstile_artigo.pdf | 143.7 KiB | 2007-Aug-24 06:47 |
| turnstile_artigo.tex | 13.8 KiB | 2007-Aug-24 06:46 |