AddXIs [disjI1, disjI2];

--- a/src/FOL/FOL.ML	Thu Sep 09 12:25:01 1999 +0200
+++ b/src/FOL/FOL.ML	Thu Sep 09 12:25:30 1999 +0200
@@ -5,4 +5,6 @@
   val classical = classical;
 end;
 
+AddXIs [disjI1, disjI2];
+
 open FOL;

--- a/src/HOL/HOL.ML	Thu Sep 09 12:25:01 1999 +0200
+++ b/src/HOL/HOL.ML	Thu Sep 09 12:25:30 1999 +0200
@@ -28,4 +28,6 @@
   val arbitrary_def = arbitrary_def;
 end;
 
+AddXIs [disjI1, disjI2];
+
 open HOL;