Added functions addIffs and delIffs which operate on clasimpsets.
Added functions addIffs and delIffs which operate on clasimpsets.

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