| 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 |