bussproofs Package 2006/06/25 17:35:44 karl The bussproofs package. 90322 texmf-dist/tex/latex/bussproofs/bussproofs.sty texmf-dist/tpm/bussproofs.tpm texmf-dist/doc/latex/bussproofs/testbp2.pdf texmf-dist/doc/latex/bussproofs/testbp2.tex Package/bussproofs