src/FOL/FOL.ML
changeset 7529 fa534e4f7e49
parent 7355 4c43090659ca
child 10062 3b819da9c71a
     1.1 --- a/src/FOL/FOL.ML	Thu Sep 09 12:25:01 1999 +0200
     1.2 +++ b/src/FOL/FOL.ML	Thu Sep 09 12:25:30 1999 +0200
     1.3 @@ -5,4 +5,6 @@
     1.4    val classical = classical;
     1.5  end;
     1.6  
     1.7 +AddXIs [disjI1, disjI2];
     1.8 +
     1.9  open FOL;