| 2014-05-19 | Christian Urban |
changed nominal_primrec into the more appropriate nominal_function | file | diff | annotate |
| 2011-06-01 | Christian Urban | first test to fix the problem with free variables | file | diff | annotate |
| 2011-05-13 | Christian Urban | misc | file | diff | annotate |