changeset 1351 | 4a960c012383 |
parent 1296 | ae31bb7774a7 |
child 1461 | 6bcb44e4d6e5 |
1350:5bf4a54ba25f | 1351:4a960c012383 |
---|---|
14 |
14 |
15 ZF_build_completed; (*Make examples fail if ZF did*) |
15 ZF_build_completed; (*Make examples fail if ZF did*) |
16 |
16 |
17 writeln"Root file for ZF/IMP"; |
17 writeln"Root file for ZF/IMP"; |
18 proof_timing := true; |
18 proof_timing := true; |
19 loadpath := [".","IMP"]; |
19 |
20 time_use_thy "Equiv"; |
20 time_use_thy "Equiv"; |
21 |
|
22 make_chart (); (*make HTML chart*) |