prio/Paper/document/mathpartir.sty
changeset 301 e820ee5f76f7
parent 284 d296cb127fcb