Nominal/Ex/Lambda.thy
2010-04-16 Christian Urban automatic proofs for equivariance of alphas
less more (0) -10 -1 tip