Nominal-General/nominal_eqvt.ML
2010-04-14 Christian Urban added a library for basic nominal functions; separated nominal_eqvt file
less more (0) tip