| 2014-05-19 | Christian Urban |
changed nominal_primrec into the more appropriate nominal_function | file | diff | annotate |
| 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 |
| 2012-03-05 | Christian Urban | updated tutorial to latest version and added it to the tests | file | diff | annotate |
| 2011-02-04 | Christian Urban | Lambda.thy which works with Nominal_Isabelle2011 | file | diff | annotate |
| 2011-01-23 | Christian Urban | cleaning up | file | diff | annotate |