Nominal/Ex/Lambda.thy
Mon, 07 Nov 2011 13:58:18 +0000 Christian Urban all examples work again after quotient package has been "de-localised"
Fri, 19 Aug 2011 11:01:52 +0900 Cezary Kaliszyk Comment out examples with 'True' that do not work because function still does not work
less more (0) -100 -30 -10 -2 tip