Nominal/GPerm.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
2012-03-26 Cezary Kaliszyk Alternate version of Nominal_Base: Executable version.
less more (0) tip