2012-06-12 | Christian Urban | added finfun-type to Nominal | file | diff | annotate |
2012-06-11 | Christian Urban | added CPS files to test (not all proofs have been completed) | file | diff | annotate |
2011-12-21 | Cezary Kaliszyk | Reorder constructors to match Lambda | file | diff | annotate |
2011-08-19 | Cezary Kaliszyk | Use same constructor names as Lambda, remove copies of FCB, remove [eqvt]. | file | diff | annotate |
2011-07-24 | Cezary Kaliszyk | update to 'termination (eqvt)'. | file | diff | annotate |
2011-07-03 | Cezary Kaliszyk | Change CPS1 to FCB2 | file | diff | annotate |
2011-06-24 | Cezary Kaliszyk | Theory name changes for JEdit | file | diff | annotate |
2011-06-16 | Christian Urban | moved for the moment CPS translations into the example directory | file | diff | annotate | base |