Nominal/nominal_eqvt.ML
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