Added
Added

goal Set.thy "(Union M = {}) = (! A : M. A = {})";
AddIffs [Union_empty_conv];

Good idea??

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle