Nominal/Ex/LamFun.thy
2010-09-29 Cezary Kaliszyk substitution definition with 'next_name'.
less more (0) tip