| 2012-08-07 | Christian Urban | definition of an auxiliary graph in nominal-primrec definitions | file | diff | annotate |
| 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-08-19 | Cezary Kaliszyk | Use same constructor names as Lambda, remove copies of FCB, remove [eqvt]. | file | diff | annotate |
| 2011-07-11 | Cezary Kaliszyk | use eqvt_at_perm | file | diff | annotate |
| 2011-07-11 | Cezary Kaliszyk | Remove copy of FCB and cleanup | file | diff | annotate |
| 2011-07-03 | Cezary Kaliszyk | Added non-working CPS3 using FCB2 | file | diff | annotate |