Nominal/Ex/CPS/CPS3_DanvyFilinski.thy
2012-07-15 Christian Urban added a simproc for alpha-equivalence to the simplifier
2012-06-12 Christian Urban added finfun-type to Nominal
2012-06-11 Christian Urban added CPS files to test (not all proofs have been completed)
2011-12-21 Cezary Kaliszyk Reorder constructors to match Lambda
2011-08-19 Cezary Kaliszyk Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
2011-07-24 Cezary Kaliszyk update to 'termination (eqvt)'.
2011-07-11 Cezary Kaliszyk use eqvt_at_perm
2011-07-11 Cezary Kaliszyk Experiment with permuting eqvt_at
2011-06-24 Cezary Kaliszyk Theory name changes for JEdit
2011-06-21 Cezary Kaliszyk Minor
2011-06-16 Cezary Kaliszyk merge
2011-06-16 Christian Urban moved for the moment CPS translations into the example directory
less more (0) tip