src/Sequents/ILL/ROOT.ML
changeset 17481 75166ebb619b
parent 9000 c20d58286a51
equal deleted inserted replaced
17480:fd19f77dcf60 17481:75166ebb619b
       
     1 (* $Id$ *)
     1 
     2 
     2 time_use_thy "washing";
     3 time_use_thy "washing";
     3 time_use_thy "ILL_predlog";
     4 time_use_thy "ILL_predlog";
     4 time_use "ILL_kleene_lemmas.ML";
     5 time_use "ILL_kleene_lemmas.ML";