[isabelle-dev] t_eqI and t_eq_iff

Tobias Nipkow nipkow at in.tum.de
Mon Sep 13 12:54:04 CEST 2010

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.


More information about the isabelle-dev mailing list