--- a/doc-src/IsarRef/pure.tex Wed Nov 23 18:51:59 2005 +0100
+++ b/doc-src/IsarRef/pure.tex Wed Nov 23 18:52:00 2005 +0100
@@ -838,7 +838,7 @@
corresponding number of sub-goals prior to an initial method application, via
$\PROOFNAME$ (\S\ref{sec:proof-steps}) or $\APPLYNAME$
(\S\ref{sec:tactic-commands}). The $induct$ method covered in
-\S\ref{sec:cases-induct-meth} acts on multiple claims simultaneously.
+\S\ref{sec:cases-induct} acts on multiple claims simultaneously.
Claims at the theory level may be either in short or long form. A short goal
merely consists of several simultaneous propositions (often just one). A long