Name Directory
prooftrees.sty texmf\tex\latex\prooftrees
prooftrees.tpm texmf\tpm\packages
manifest.txt texmf\doc\latex\prooftrees
prooftrees.pdf texmf\doc\latex\prooftrees
README texmf\doc\latex\prooftrees
prooftrees-src.tar.xz texmf\source