Nominal/Ex/NBE.thy
Mon, 19 May 2014 12:45:26 +0100 Christian Urban changed nominal_primrec into the more appropriate nominal_function
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
Wed, 06 Jul 2011 15:59:11 +0200 Christian Urban more on the NBE function
Wed, 06 Jul 2011 01:04:09 +0200 Christian Urban a little further with NBE
Wed, 06 Jul 2011 07:42:12 +0900 Cezary Kaliszyk Setup eqvt_at for first goal
Wed, 06 Jul 2011 00:34:42 +0200 Christian Urban attempt for NBE
less more (0) tip