thys/Paper/document/mathpartir.sty
2016-02-05 Christian Urban started a paper and moved cruft to Attic
less more (0) tip