../ README.md 04-Sep-2025 04:36 2454 manifest.txt 04-Sep-2025 04:36 2269 prooftrees-code.pdf 04-Sep-2025 04:36 1218849 prooftrees-doc.pdf 04-Sep-2025 04:36 1125497 prooftrees.dtx 04-Sep-2025 04:36 208324 prooftrees.ins 04-Sep-2025 04:36 2498 prooftrees_biber.bib 04-Sep-2025 04:36 1117