Nominal/nominal_eqvt.ML
2013-04-18 Christian Urban updated to simplifier changes
2013-03-27 webertj Various changes to support Nominal2 commands in local contexts.
2012-08-03 webertj command_spec antiquotation.
2012-03-20 Christian Urban updated to new Isabelle (20 March)
2011-12-22 Christian Urban fixed problem with equivariance for beta_star
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-06-22 Christian Urban some rudimentary infrastructure for storing data about nominal datatypes
2011-06-16 Christian Urban got rid of the boolean flag in the raw_equivariance function
2011-05-03 Christian Urban deleted two functions from the API
2011-04-13 Christian Urban introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive
2011-01-07 Christian Urban derived equivariance for the function graph and function relation
2010-12-22 Christian Urban updated to Isabelle 22 December
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
less more (0) tip