Quot/Nominal/Nominal2_Eqvt.thy
Thu, 04 Feb 2010 14:55:21 +0100 Christian Urban restored the old behaviour of having an eqvts list; the transformed theorems are stored in eqvts_raw
less more (0) -1 tip