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 _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
