Nominal/nominal_dt_quot.ML
2011-12-05 Christian Urban tiny improvement by removing one unnecessary assumption
2011-11-30 Christian Urban updated to changes in the quotient package (patch by Ondrej Kuncar)
2011-11-07 Christian Urban all examples work again after quotient package has been "de-localised"
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
2011-04-13 Christian Urban introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive
2011-01-04 Christian Urban final version of the ESOP paper; used set+ instead of res as requested by one reviewer
2011-01-03 Christian Urban simple cases for string rule inductions
less more (0) -10 -7 tip