Nominal/Ex/NBE.thy
Sun, 17 Jul 2011 04:04:17 +0100 Christian Urban defined a function directly over a nominal datatype with bn
Sat, 16 Jul 2011 21:36:43 +0100 Christian Urban more one the NBE example
Fri, 15 Jul 2011 22:48:37 +0100 Christian Urban some improvements to the NBE example
Wed, 06 Jul 2011 23:11:30 +0200 Christian Urban more on NBE
less more (0) -4 tip