Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 3143 | logplain |
-rw-r--r-- | fitch.hacker.txt | 12566 | logplain |
-rw-r--r-- | fitch.sty | 10414 | logplain |
-rw-r--r-- | fitchdoc-dimen.pdf | 7325 | logplain |
-rw-r--r-- | fitchdoc.pdf | 279140 | logplain |
-rw-r--r-- | fitchdoc.tex | 21935 | logplain |
-rw-r--r-- | fitchexample.png | 4727 | logplain |