Journal/mathpartir.sty
changeset 207 d62b19b641c5
parent 123 ab1a9ae35dd6