equal
deleted
inserted
replaced
1 |
1 |
2 Sequents_build_completed; (*Cause examples to fail if Sequents did*) |
|
3 writeln"Root file for ILL examples"; |
2 writeln"Root file for ILL examples"; |
4 |
3 |
5 set proof_timing; |
4 set proof_timing; |
6 |
5 |
7 time_use_thy "washing"; |
6 time_use_thy "washing"; |