[isabelle-dev] t_eqI and t_eq_iff

[Tobias Nipkow]

I have now changed the lemma names to the above schema we agreed las
week for t=fun and t=(multi)set. You are invited to make the same change
for other types.

Tobias