Journal/document/mathpartir.sty
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ
less more (0) tip