bussproofs Package 2006/06/25 00:00:00 karl The bussproofs package. 91231 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