Nominal/Ex/Lambda.thy
Sat, 04 Jun 2011 09:07:50 +0900 Cezary Kaliszyk Finish and test the locale approach
Fri, 03 Jun 2011 12:46:23 +0100 Christian Urban recursion combinator inside a locale
Thu, 02 Jun 2011 22:24:33 +0900 Cezary Kaliszyk finished the missing obligations
Thu, 02 Jun 2011 12:14:03 +0100 Christian Urban merged
less more (0) -30 -10 -4 tip