2011-11-03 | Christian Urban | updated to Isabelle 3 Nov; it includes a hack to work around a bug in the localised version of the quotient package | file | diff | annotate |
2011-08-19 | Cezary Kaliszyk | Update to new Isabelle | file | diff | annotate |
2011-08-15 | Christian Urban | updated for new Isabelle (11. Aug.) | file | diff | annotate |
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 |