thys/Paper/document/mathpartir.sty
changeset 279 f754a10875c7
parent 95 a33d3040bf7e