Paper/document/mathpartir.sty
changeset 207 d62b19b641c5
parent 2 a04084de4946
equal deleted inserted replaced
206:3be0c4c034af 207:d62b19b641c5