Nominal-General/nominal_eqvt.ML
2010-04-16 Christian Urban some tuning of eqvt-infrastructure
2010-04-14 Christian Urban tuned and removed dead code
less more (0) tip