src/Sequents/ILL/ROOT.ML
changeset 6349 f7750d816c21
parent 6252 935f183bf406
child 9000 c20d58286a51
equal deleted inserted replaced
6348:fdcbeaddd5fc 6349:f7750d816c21
     1 
     1 
     2 Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
       
     3 writeln"Root file for ILL examples";
     2 writeln"Root file for ILL examples";
     4 
     3 
     5 set proof_timing;
     4 set proof_timing;
     6 
     5 
     7 time_use_thy "washing";
     6 time_use_thy "washing";