src/Cube/ex/ROOT.ML

tuned;

writeln"Root file for Cube examples";
Cube_build_completed;    (*Cause examples to fail if Cube did*)

set proof_timing;

use "ex.ML";