thys/Paper/document/mathpartir.sty
changeset 186 0b94800eb616
parent 95 a33d3040bf7e
equal deleted inserted replaced
185:841f7b9c0a6a 186:0b94800eb616