1
2
writeln"Root file for Cube examples";
3
Cube_build_completed; (*Cause examples to fail if Cube did*)
4
5
set proof_timing;
6
7
use "ex.ML";