src/HOL/HOL.ML
changeset 7529 fa534e4f7e49
parent 7357 d0e16da40ea2
child 9396 a1b31d61f8e1
--- 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;