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";