Nominal/Ex/LamFun.thy
2011-01-06 Christian Urban removed last traces of debugging code
2011-01-06 Christian Urban removed debugging code abd introduced a guarded tracing function
2010-09-29 Cezary Kaliszyk substitution definition with 'next_name'.
less more (0) tip