equal
deleted
inserted
replaced
|
1 (* Title: CCL/ex/ROOT |
|
2 ID: $Id$ |
|
3 Author: Martin Coen, Cambridge University Computer Laboratory |
|
4 Copyright 1993 University of Cambridge |
|
5 |
|
6 Executes all examples for Classical Computational Logic |
|
7 *) |
|
8 |
|
9 CCL_build_completed; (*Cause examples to fail if CCL did*) |
|
10 |
|
11 writeln"Root file for CCL examples"; |
|
12 proof_timing := true; |
|
13 time_use_thy "ex/nat"; |
|
14 time_use_thy "ex/list"; |
|
15 time_use_thy "ex/stream"; |
|
16 time_use_thy "ex/flag"; |
|
17 maketest"END: Root file for CCL examples"; |