2011-12-05 | Christian Urban | tiny improvement by removing one unnecessary assumption | file | diff | annotate |
2011-11-30 | Christian Urban | updated to changes in the quotient package (patch by Ondrej Kuncar) | file | diff | annotate |
2011-11-07 | Christian Urban | all examples work again after quotient package has been "de-localised" | file | diff | annotate |
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-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-04 | Christian Urban | final version of the ESOP paper; used set+ instead of res as requested by one reviewer | file | diff | annotate |
2011-01-03 | Christian Urban | simple cases for string rule inductions | file | diff | annotate |