Nominal/Ex/Ex4.thy
2010-05-17 Cezary Kaliszyk Ex4 does work, and I don't see the difference between the alphas.
2010-05-13 Christian Urban added a more instructive example - has some problems with fv though
2010-05-13 Christian Urban added an example which goes outside our current speciifcation
less more (0) tip