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 |
2011-01-19 | Christian Urban | removed diagnostic code | file | diff | annotate |
2011-01-06 | Christian Urban | tuned | file | diff | annotate |
2011-01-05 | Christian Urban | exported the code into a separate file | file | diff | annotate |