Nominal/Equivp.thy
2010-05-06 Cezary Kaliszyk prod_rel.simps and Fixed for new isabelle
less more (0) -1 tip