| changeset 157 | 76cdc8f562fc |
| parent 155 | b6fca043a796 |
| child 167 | 3e30ea95c7aa |
| 156:e8f11280c762 | 157:76cdc8f562fc |
|---|---|
1 theory Timing |
1 theory Timing |
2 imports "../Base" |
2 imports "../Base" |
3 begin |
3 begin |
4 |
4 |
5 section {* Measuring the Time of an Operation\label{rec:timing} (TBD) *} |
5 section {* Measuring Time\label{rec:timing} (TBD) *} |
6 |
6 |
7 text {* |
7 text {* |
8 {\bf Problem:} |
8 {\bf Problem:} |
9 You want to measure the running time of a tactic or function.\smallskip |
9 You want to measure the running time of a tactic or function.\smallskip |
10 |
10 |