| 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-11 | Cezary Kaliszyk | use eqvt_at_perm | file | diff | annotate |
| 2011-07-11 | Cezary Kaliszyk | Experiment with permuting eqvt_at | file | diff | annotate |
| 2011-06-24 | Cezary Kaliszyk | Theory name changes for JEdit | file | diff | annotate |
| 2011-06-21 | Cezary Kaliszyk | Minor | file | diff | annotate |
| 2011-06-16 | Cezary Kaliszyk | merge | file | diff | annotate | base |
| 2011-06-16 | Christian Urban | moved for the moment CPS translations into the example directory | file | diff | annotate | base |