writeln"Root file for Cube examples"; Cube_build_completed; (*Cause examples to fail if Cube did*) proof_timing := true; use"ex.ML"; cd ".."; maketest"END: file for Lambda-Cube examples";