Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 2545 | logplain |
-rw-r--r-- | fitch.hacker.txt | 12566 | logplain |
-rw-r--r-- | fitchdoc-dimen.pdf | 7325 | logplain |
-rw-r--r-- | fitchdoc.pdf | 248637 | logplain |
-rw-r--r-- | fitchdoc.tex | 13860 | logplain |
-rw-r--r-- | fitchexample.png | 4727 | logplain |