1
2
writeln"Root file for ILL examples";
3
4
set proof_timing;
5
6
time_use_thy "washing";
7
8
time_use_thy "ILL_predlog";
9
time_use "ILL_kleene_lemmas.ML";