src/Sequents/ILL/ROOT.ML
changeset 9000 c20d58286a51
parent 6349 f7750d816c21
child 17481 75166ebb619b
equal deleted inserted replaced
8999:ad8260dc6e4a 9000:c20d58286a51
     1 
       
     2 writeln"Root file for ILL examples";
       
     3 
       
     4 set proof_timing;
       
     5 
     1 
     6 time_use_thy "washing";
     2 time_use_thy "washing";
     7 
       
     8 time_use_thy "ILL_predlog";
     3 time_use_thy "ILL_predlog";
     9 time_use "ILL_kleene_lemmas.ML";
     4 time_use "ILL_kleene_lemmas.ML";