src/Sequents/ILL/ROOT.ML
author wenzelm
Fri Feb 05 21:14:17 1999 +0100 (1999-02-05)
changeset 6252 935f183bf406
child 6349 f7750d816c21
permissions -rw-r--r--
examples made separate dirs;
wenzelm@6252
     1
wenzelm@6252
     2
Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
wenzelm@6252
     3
writeln"Root file for ILL examples";
wenzelm@6252
     4
wenzelm@6252
     5
set proof_timing;
wenzelm@6252
     6
wenzelm@6252
     7
time_use_thy "washing";
wenzelm@6252
     8
wenzelm@6252
     9
time_use_thy "ILL_predlog";
wenzelm@6252
    10
time_use "ILL_kleene_lemmas.ML";