Nominal/Ex/Ex4.thy
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