2011-08-19 | Cezary Kaliszyk | Use same constructor names as Lambda, remove copies of FCB, remove [eqvt]. | file | diff | annotate |
2011-06-24 | Cezary Kaliszyk | Theory name changes for JEdit | file | diff | annotate |
2011-06-19 | Cezary Kaliszyk | little on cps2 | file | diff | annotate |
2011-06-16 | Christian Urban | moved for the moment CPS translations into the example directory | file | diff | annotate | base |