../ README.md 27-Apr-2024 19:41 3143 fitch.hacker.txt 27-Apr-2024 19:41 12566 fitch.sty 27-Apr-2024 19:41 10414 fitchdoc-dimen.pdf 27-Apr-2024 19:41 7325 fitchdoc.pdf 27-Apr-2024 19:41 279140 fitchdoc.tex 27-Apr-2024 19:41 21935 fitchexample.png 27-Apr-2024 19:41 4727