Nominal-General/nominal_eqvt.ML
2010-05-05 Christian Urban solved the problem with equivariance by first eta-normalising the goal
2010-04-25 Christian Urban tuned
2010-04-16 Christian Urban automatic proofs for equivariance of alphas
less more (0) -3 tip