--- a/src/FOL/FOL.ML Thu Sep 27 15:42:30 2001 +0200
+++ b/src/FOL/FOL.ML Thu Sep 27 16:04:11 2001 +0200
@@ -5,6 +5,7 @@
val classical = classical;
end;
-AddXIs [equal_intr_rule, disjI1, disjI2];
+AddXIs [equal_intr_rule];
+AddXEs [disjI1, disjI2];
open FOL;