ZF/ZF.ML/UN_iff, INT_iff: added to the signature

--- a/src/ZF/ZF.ML	Mon Nov 21 11:49:36 1994 +0100
+++ b/src/ZF/ZF.ML	Mon Nov 21 13:09:41 1994 +0100
@@ -42,6 +42,7 @@
   val INT_E		: thm
   val INT_I		: thm
   val INT_cong		: thm
+  val INT_iff		: thm
   val lemmas_cs		: claset
   val PowD		: thm
   val PowI		: thm
@@ -74,6 +75,7 @@
   val UN_E		: thm
   val UN_I		: thm
   val UN_cong		: thm
+  val UN_iff		: thm
   end;