--- 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;