Quotient-Paper/document/mathpartir.sty
changeset 2922 a27215ab674e
parent 2418 16d69f035125
equal deleted inserted replaced
2921:6b496f69f76c 2922:a27215ab674e