bussproofs: List of files
This package includes 6 files with a total size of 170976 bytes.
| Name | Directory |
|---|---|
| texmf\tpm\packages\bussproofs.tpm | |
| texmf\tex\latex\bussproofs\bussproofs.sty | |
| texmf\doc\latex\bussproofs\testbp2.pdf | |
| texmf\doc\latex\bussproofs\BussGuide2.pdf | |
| texmf\doc\latex\bussproofs\README.txt | |
| texmf\source\bussproofs-src.tar.bz2 |