Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.en | 2188 | logplain |
-rw-r--r-- | turnstile-en.dtx | 20653 | logplain |
-rw-r--r-- | turnstile-en.ins | 1771 | logplain |
-rw-r--r-- | turnstile-en.pdf | 106466 | logplain |
-rw-r--r-- | turnstile_article.pdf | 96546 | logplain |
-rw-r--r-- | turnstile_article.tex | 13096 | logplain |