| 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-04 | Christian Urban | added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often | file | diff | annotate |