Nominal/Ex/Classical.thy
2010-04-16 Christian Urban automatic proofs for equivariance of alphas
2010-04-08 Christian Urban properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper)
less more (0) tip