prio/Paper/document/mathpartir.sty
changeset 364 21428f38e506
parent 284 d296cb127fcb
equal deleted inserted replaced
363:c89f82fb95f8 364:21428f38e506