1
2
Sequents_build_completed; (*Cause examples to fail if Sequents did*)
3
writeln"Root file for ILL examples";
4
5
set proof_timing;
6
7
time_use_thy "washing";
8
9
time_use_thy "ILL_predlog";
10
time_use "ILL_kleene_lemmas.ML";