changeset 10396 | 5ab08609e6c8 |
parent 10395 | 7ef380745743 |
child 10397 | e2d0dda41f2c |
--- a/doc-src/TutorialI/Misc/document/Itrev.tex Sat Nov 04 18:54:22 2000 +0100 +++ b/doc-src/TutorialI/Misc/document/Itrev.tex Mon Nov 06 11:32:23 2000 +0100 @@ -2,8 +2,7 @@ \begin{isabellebody}% \def\isabellecontext{Itrev}% % -\isamarkupsection{Induction heuristics% -} +\isamarkupsection{Induction heuristics} % \begin{isamarkuptext}% \label{sec:InductionHeuristics}