src/FOL/FOL.ML
changeset 10062 3b819da9c71a
parent 7529 fa534e4f7e49
child 11588 d792570a04b1
--- a/src/FOL/FOL.ML	Fri Sep 22 16:28:53 2000 +0200
+++ b/src/FOL/FOL.ML	Fri Sep 22 17:24:36 2000 +0200
@@ -5,6 +5,6 @@
   val classical = classical;
 end;
 
-AddXIs [disjI1, disjI2];
+AddXIs [equal_intr_rule, disjI1, disjI2];
 
 open FOL;