prio/Paper/document/mathpartir.sty
changeset 343 1687f868dd5e
parent 284 d296cb127fcb