bussproofs-extra: List of files

This package includes 7 files with a total size of 262116 bytes.

Name Directory
texmf\tpm\packages\bussproofs-extra.tpm
texmf\tex\latex\bussproofs-extra\bussproofs-extra.sty
texmf\tex\latex\bussproofs-extra\bpextra.sty
texmf\doc\latex\bussproofs-extra\bussproofs-extra.pdf
texmf\doc\latex\bussproofs-extra\README.md
texmf\doc\latex\bussproofs-extra\LICENSE.txt
texmf\source\bussproofs-extra-src.tar.xz