Nominal/nominal_inductive.ML
2012-02-17 Cezary Kaliszyk Update from Isabelle Wed Feb 15 23:19:30
2012-01-16 Christian Urban updated to Isabelle 16 January
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-08-19 Cezary Kaliszyk Update to new Isabelle
2011-08-15 Christian Urban updated for new Isabelle (11. Aug.)
2011-04-18 Christian Urban added permute_pure back into the nominal_inductive procedure; updated to Isabelle 17 April
2011-04-13 Christian Urban introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive
2011-01-19 Christian Urban removed diagnostic code
2011-01-06 Christian Urban tuned
2011-01-05 Christian Urban exported the code into a separate file
less more (0) tip