equal
deleted
inserted
replaced
|
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"; |