src/HOL/Matrix/Compute_Oracle/report.ML
2011-03-20 ago structure Timing: covers former start_timing/end_timing and Output.timeit etc;
2010-07-21 ago moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway;