# HG changeset patch
# User lcp
# Date 785419781 -3600
# Node ID 237456d216a536f8f12392603c6143b47d8ac56d
# Parent  479832ff2d29dab79528a3dda9d031385024dd15
ZF/ZF.ML/UN_iff, INT_iff: added to the signature

diff -r 479832ff2d29 -r 237456d216a5 src/ZF/ZF.ML
--- 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;