Nominal/Ex/CPS/CPS2_DanvyNielsen.thy
2011-08-19 Cezary Kaliszyk Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
2011-06-24 Cezary Kaliszyk Theory name changes for JEdit
2011-06-19 Cezary Kaliszyk little on cps2
2011-06-16 Christian Urban moved for the moment CPS translations into the example directory
less more (0) tip