bussproofs Package 2006/10/12 20:18:11 karl The bussproofs package. 92076 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