prio/Paper/document/mathpartir.sty
changeset 349 dae7501b26ac
parent 284 d296cb127fcb
equal deleted inserted replaced
348:bea94f1e6771 349:dae7501b26ac