The current version of pack mathml does not contain a file inst/pl/bussproofs.html
mathml
inst/pl/bussproofs.html