../ README.md 12-Sep-2026 21:37 3301 fitch.hacker.txt 14-Nov-2023 06:01 12K fitch.sty 12-Sep-2026 22:07 11K fitchdoc-dimen.pdf 05-Sep-2023 03:21 7325 fitchdoc.pdf 12-Sep-2026 22:33 276K fitchdoc.tex 12-Sep-2026 22:32 26K fitchexample.png 05-Sep-2023 02:28 4727