Nominal-General/Nominal2_Eqvt.thy
2010-05-09 Christian Urban added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied
less more (0) -10 -1 tip