1
2
writeln"Root file for Cube examples";
3
Cube_build_completed; (*Cause examples to fail if Cube did*)
4
5
proof_timing := true;
6
7
use"ex.ML";
8
9
cd "..";
10
maketest"END: file for Lambda-Cube examples";