src/ZF/upair.ML
changeset 12372 cd3a09c7dac9
parent 11589 9a6d4511bb3c
--- a/src/ZF/upair.ML	Wed Dec 05 03:06:05 2001 +0100
+++ b/src/ZF/upair.ML	Wed Dec 05 03:07:44 2001 +0100
@@ -84,7 +84,6 @@
 
 AddSIs [UnCI];
 AddSEs [UnE];
-AddXEs [UnI1, UnI2];
 
 
 (*** Rules for small intersection -- Int -- defined via Upair ***)