Nominal/Term5a.thy
2010-03-08 Cezary Kaliszyk Term5 written as nominal_datatype is the recursive let.
less more (0) tip