src/HOL/ex/Code_Timing.thy
2016-05-26 haftmann 2016-05-26 examples and documentation for code generator time measurements