Nominal/nominal_eqvt.ML
Thu, 16 Jun 2011 20:07:03 +0100 Christian Urban got rid of the boolean flag in the raw_equivariance function
Tue, 03 May 2011 13:25:02 +0100 Christian Urban deleted two functions from the API
Wed, 13 Apr 2011 13:41:52 +0100 Christian Urban introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive
less more (0) -3 tip