src/FOL/FOL.ML

--- a/src/FOL/FOL.ML	Sun Oct 28 19:44:58 2001 +0100
+++ b/src/FOL/FOL.ML	Sun Oct 28 21:10:47 2001 +0100
@@ -5,7 +5,6 @@
   val classical = classical;
 end;
 
-AddXIs [equal_intr_rule];
 AddXEs [disjI1, disjI2];
 
 open FOL;