| 2012-08-07 | Christian Urban | definition of an auxiliary graph in nominal-primrec definitions | file | diff | annotate |
| 2012-07-15 | Christian Urban | added a simproc for alpha-equivalence to the simplifier | file | diff | annotate |
| 2012-06-12 | Christian Urban | added finfun-type to Nominal | file | diff | annotate |