Nominal/Ex/LetSimple2.thy
Sat, 16 Jul 2011 21:36:43 +0100 Christian Urban more one the NBE example
Wed, 13 Jul 2011 09:47:58 +0100 Christian Urban slight tuning
Mon, 11 Jul 2011 12:23:24 +0100 Christian Urban some more experiments with let and bns
less more (0) -3 tip