Nominal/Ex/Lambda.thy
Wed, 14 Apr 2010 22:23:52 +0200 Christian Urban deleted offending [eqvt]-attribute in Abs; Lambda works again, but there is now a problem in CoreHaskell
Wed, 14 Apr 2010 16:05:58 +0200 Christian Urban tuned and removed dead code
less more (0) -10 -2 tip