Quotient-Paper/document/mathpartir.sty
changeset 2702 de3e4b121c22
parent 2418 16d69f035125
equal deleted inserted replaced
2701:7b2691911fbc 2702:de3e4b121c22