Paper/document/mathpartir.sty
changeset 6 7f2493296c39
parent 2 a04084de4946