Nominal/Ex/CPS/CPS1_Plotkin.thy
2011-07-03 Cezary Kaliszyk Change CPS1 to FCB2
2011-06-24 Cezary Kaliszyk Theory name changes for JEdit
2011-06-16 Christian Urban moved for the moment CPS translations into the example directory
less more (0) tip