thys/Paper/document/mathpartir.sty
changeset 519 856d025dbc15
parent 95 a33d3040bf7e
equal deleted inserted replaced
518:ff7945a988a3 519:856d025dbc15