writeln"Root file for Cube examples"; Cube_build_completed; (*Cause examples to fail if Cube did*) set proof_timing; use "ex.ML";