Nominal/Ex/Ex4.thy
Mon, 17 May 2010 16:29:33 +0200 Cezary Kaliszyk Ex4 does work, and I don't see the difference between the alphas.
Thu, 13 May 2010 19:06:54 +0100 Christian Urban added a more instructive example - has some problems with fv though
Thu, 13 May 2010 15:58:36 +0100 Christian Urban added an example which goes outside our current speciifcation
less more (0) tip