prooftrees__doc: List of files
This package includes 5 files with a total size of 2350860 bytes.
| Name | Directory |
|---|---|
| texmf\tpm\packages\prooftrees__doc.tpm | |
| texmf\doc\latex\prooftrees\prooftrees-doc.pdf | |
| texmf\doc\latex\prooftrees\prooftrees-code.pdf | |
| texmf\doc\latex\prooftrees\README.md | |
| texmf\doc\latex\prooftrees\manifest.txt |