prooftrees: List of files
This package includes 6 files with a total size of 926015 bytes.
| Name | Directory |
|---|---|
| texmf\tpm\packages\prooftrees.tpm | |
| texmf\tex\latex\prooftrees\prooftrees.sty | |
| texmf\doc\latex\prooftrees\prooftrees.pdf | |
| texmf\doc\latex\prooftrees\manifest.txt | |
| texmf\doc\latex\prooftrees\README | |
| texmf\source\prooftrees-src.tar.xz |