prio/Paper/document/mathpartir.sty
changeset 298 f2e0d031a395
parent 284 d296cb127fcb