# HG changeset patch
# User wenzelm
# Date 936872730 -7200
# Node ID fa534e4f7e49d659642afe9aae3b2f3e359d3290
# Parent  ee5f37e4f186788adc477774e5e533a16c7adc57
AddXIs [disjI1, disjI2];

diff -r ee5f37e4f186 -r fa534e4f7e49 src/FOL/FOL.ML
--- 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;
diff -r ee5f37e4f186 -r fa534e4f7e49 src/HOL/HOL.ML
--- 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;