AddXIs [disjI1, disjI2];
authorwenzelm
Thu Sep 09 12:25:30 1999 +0200 (1999-09-09)
changeset 7529fa534e4f7e49
parent 7528 ee5f37e4f186
child 7530 505f6f8e9dcf
AddXIs [disjI1, disjI2];
src/FOL/FOL.ML
src/HOL/HOL.ML
     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;
     2.1 --- a/src/HOL/HOL.ML	Thu Sep 09 12:25:01 1999 +0200
     2.2 +++ b/src/HOL/HOL.ML	Thu Sep 09 12:25:30 1999 +0200
     2.3 @@ -28,4 +28,6 @@
     2.4    val arbitrary_def = arbitrary_def;
     2.5  end;
     2.6  
     2.7 +AddXIs [disjI1, disjI2];
     2.8 +
     2.9  open HOL;