src/FOL/FOL.ML

--- a/src/FOL/FOL.ML	Tue Nov 27 13:28:26 2001 +0100
+++ b/src/FOL/FOL.ML	Wed Nov 28 00:37:08 2001 +0100
@@ -5,6 +5,4 @@
   val classical = classical;
 end;
 
-AddXEs [disjI1, disjI2];
-
 open FOL;