src/FOL/FOL.ML
changeset 7529 fa534e4f7e49
parent 7355 4c43090659ca
child 10062 3b819da9c71a
equal deleted inserted replaced
7528:ee5f37e4f186 7529:fa534e4f7e49
     3 struct
     3 struct
     4   val thy = the_context ();
     4   val thy = the_context ();
     5   val classical = classical;
     5   val classical = classical;
     6 end;
     6 end;
     7 
     7 
       
     8 AddXIs [disjI1, disjI2];
       
     9 
     8 open FOL;
    10 open FOL;