equal
deleted
inserted
replaced
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Executes all examples for Classical Computational Logic |
6 Executes all examples for Classical Computational Logic |
7 *) |
7 *) |
8 |
8 |
9 CCL_build_completed; (*Cause examples to fail if CCL did*) |
9 CCL_build_completed; (*Cause examples to fail if CCL did*) |
10 |
10 |
11 writeln"Root file for CCL examples"; |
11 writeln"Root file for CCL examples"; |
12 proof_timing := true; |
12 proof_timing := true; |
13 |
13 |
14 time_use_thy "Nat"; |
14 time_use_thy "Nat"; |