Nominal/Ex/Lambda.thy
2010-05-18 Cezary Kaliszyk more on subst
less more (0) -10 -1 tip