Nominal/Nominal2_Base_Exec.thy
2012-05-31 Christian Urban merged
2012-05-31 Christian Urban added let-eqvt back
2012-05-31 Cezary Kaliszyk Propagare changes from Nominal2_Base to _Exec
2012-05-25 Christian Urban fixed bug in simproc (also in the exec-version)
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-30 Cezary Kaliszyk Clean the proof of Aux
2012-03-26 Cezary Kaliszyk Alternate version of Nominal_Base: Executable version.
less more (0) tip