../ README.md 19-Jan-2026 07:32 2454 manifest.txt 19-Jan-2026 07:32 2269 prooftrees-code.pdf 19-Jan-2026 07:32 1M prooftrees-doc.pdf 19-Jan-2026 07:32 1M prooftrees.dtx 19-Jan-2026 07:32 205K prooftrees.ins 19-Jan-2026 07:32 2498 prooftrees.pdf 26-Oct-2024 02:24 1M prooftrees.sty 26-Oct-2024 02:24 43K prooftrees.tex 26-Oct-2024 02:24 100K prooftrees_biber.bib 19-Jan-2026 07:32 1719