| changeset 10885 | 90695f46440b |
| parent 10795 | 9e888d60d3e5 |
| child 10971 | 6852682eaf16 |
--- a/doc-src/TutorialI/Misc/Itrev.thy Fri Jan 12 16:28:14 2001 +0100 +++ b/doc-src/TutorialI/Misc/Itrev.thy Fri Jan 12 16:32:01 2001 +0100 @@ -2,7 +2,7 @@ theory Itrev = Main:; (*>*) -section{*Induction heuristics*} +section{*Induction Heuristics*} text{*\label{sec:InductionHeuristics} The purpose of this section is to illustrate some simple heuristics for