Nominal/Ex/Lambda_F_T_FCB2.thy
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
2011-07-03 Cezary Kaliszyk Add non-working Lambda_F_T using FCB2
less more (0) tip