Name Directory
bussproofs.sty texmf\tex\latex\bussproofs
bussproofs.tpm texmf\tpm\packages
BussGuide2.pdf texmf\doc\latex\bussproofs
README.txt texmf\doc\latex\bussproofs
testbp2.pdf texmf\doc\latex\bussproofs
bussproofs-src.tar.bz2 texmf\source