src/Sequents/ILL/ROOT.ML
changeset 6252 935f183bf406
child 6349 f7750d816c21
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Sequents/ILL/ROOT.ML	Fri Feb 05 21:14:17 1999 +0100
     1.3 @@ -0,0 +1,10 @@
     1.4 +
     1.5 +Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
     1.6 +writeln"Root file for ILL examples";
     1.7 +
     1.8 +set proof_timing;
     1.9 +
    1.10 +time_use_thy "washing";
    1.11 +
    1.12 +time_use_thy "ILL_predlog";
    1.13 +time_use "ILL_kleene_lemmas.ML";