equal
deleted
inserted
replaced
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 loadpath := [".", "ex"]; |
|
14 |
13 time_use_thy "ex/Nat"; |
15 time_use_thy "ex/Nat"; |
14 time_use_thy "ex/List"; |
16 time_use_thy "ex/List"; |
15 time_use_thy "ex/Stream"; |
17 time_use_thy "ex/Stream"; |
16 time_use_thy "ex/Flag"; |
18 time_use_thy "ex/Flag"; |
17 maketest"END: Root file for CCL examples"; |
19 maketest"END: Root file for CCL examples"; |