src/Sequents/LK/ROOT.ML
changeset 6349 f7750d816c21
parent 6252 935f183bf406
child 7091 b76a26835a5c
equal deleted inserted replaced
6348:fdcbeaddd5fc 6349:f7750d816c21
     4     Copyright   1992  University of Cambridge
     4     Copyright   1992  University of Cambridge
     5 
     5 
     6 Executes all examples for Classical Logic. 
     6 Executes all examples for Classical Logic. 
     7 *)
     7 *)
     8 
     8 
     9 Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
       
    10 
       
    11 writeln"Root file for LK examples";
     9 writeln"Root file for LK examples";
    12 
    10 
    13 set proof_timing;
    11 set proof_timing;
    14 time_use "prop.ML";
    12 time_use "prop.ML";
    15 time_use "quant.ML";
    13 time_use "quant.ML";