Nominal/Ex/NBE.thy
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
Wed, 06 Jul 2011 15:59:11 +0200 Christian Urban more on the NBE function
less more (0) -3 tip