Nominal-General/nominal_eqvt.ML
2010-04-16 Christian Urban automatic proofs for equivariance of alphas
2010-04-16 Christian Urban some tuning of eqvt-infrastructure
2010-04-14 Christian Urban tuned and removed dead code
2010-04-14 Christian Urban added a library for basic nominal functions; separated nominal_eqvt file
less more (0) tip