Nominal/Ex/Exec/Lambda_Exec.thy
2012-05-24 Cezary Kaliszyk Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle
2012-05-22 Cezary Kaliszyk Executing Lambda Terms
less more (0) tip