Nominal/Ex/CPS/CPS3_DanvyFilinski_FCB2.thy
2012-08-07 Christian Urban definition of an auxiliary graph in nominal-primrec definitions
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-08-19 Cezary Kaliszyk Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
2011-07-11 Cezary Kaliszyk use eqvt_at_perm
2011-07-11 Cezary Kaliszyk Remove copy of FCB and cleanup
2011-07-03 Cezary Kaliszyk Added non-working CPS3 using FCB2
less more (0) tip