--- a/doc-src/IsarRef/Thy/document/Proof.tex Tue Jun 10 19:15:16 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/Proof.tex Tue Jun 10 19:15:17 2008 +0200
@@ -349,7 +349,7 @@
meaning: (1) during the of this claim they refer to the the local
context introductions, (2) the resulting rule is annotated
accordingly to support symbolic case splits when used with the
- \indexref{}{method}{cases}\hyperlink{method.cases}{\mbox{\isa{cases}}} method (cf. \secref{sec:cases-induct}).
+ \indexref{}{method}{cases}\hyperlink{method.cases}{\mbox{\isa{cases}}} method (cf.\ \secref{sec:cases-induct}).
\medskip