6ff5167af3
the style of the sequent calculus.
2 lines
115 B
Text
2 lines
115 B
Text
@comment $NetBSD: PLIST,v 1.1 2015/05/29 11:37:24 jaapb Exp $
|
|
share/texmf-dist/tex/latex/bussproofs/bussproofs.sty
|