| 2011-04-18 | Christian Urban | added permute_pure back into the nominal_inductive procedure; updated to Isabelle 17 April | file | diff | annotate |
| 2011-04-13 | Christian Urban | introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive | file | diff | annotate |