Nominal/Ex/NBE.thy
2011-07-17 Christian Urban defined a function directly over a nominal datatype with bn
2011-07-16 Christian Urban more one the NBE example
2011-07-15 Christian Urban some improvements to the NBE example
2011-07-06 Christian Urban more on NBE
2011-07-06 Christian Urban more on the NBE function
2011-07-05 Christian Urban a little further with NBE
2011-07-05 Cezary Kaliszyk Setup eqvt_at for first goal
2011-07-05 Christian Urban attempt for NBE
less more (0) tip