Nominal-General/nominal_eqvt.ML
Wed, 12 May 2010 16:26:06 +0100 Christian Urban added a test whether some of the constants already equivariant (then the procedure has to fail).
less more (0) -1 tip