src/FOL/FOL.ML
changeset 7529 fa534e4f7e49
parent 7355 4c43090659ca
child 10062 3b819da9c71a
--- 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;