../ README 17-Jul-2024 19:33 1590 manifest.txt 17-Jul-2024 19:33 649 prooftrees.pdf 17-Jul-2024 19:33 911388 prooftrees.sty 17-Jul-2024 19:33 42970 prooftrees.tex 17-Jul-2024 19:33 94577 prooftrees_biber.bib 17-Jul-2024 19:33 899