Nominal/Ex/Exec/document/mathpartir.sty
2012-05-22 Cezary Kaliszyk Executing Lambda Terms
less more (0) tip