1.1 --- a/doc-src/IsarRef/Thy/Proof.thy Tue Jun 10 16:43:01 2008 +0200
1.2 +++ b/doc-src/IsarRef/Thy/Proof.thy Tue Jun 10 16:43:07 2008 +0200
1.3 @@ -342,7 +342,7 @@
1.4 meaning: (1) during the of this claim they refer to the the local
1.5 context introductions, (2) the resulting rule is annotated
1.6 accordingly to support symbolic case splits when used with the
1.7 - @{method_ref cases} method (cf. \secref{sec:cases-induct}).
1.8 + @{method_ref cases} method (cf.\ \secref{sec:cases-induct}).
1.9
1.10 \medskip
1.11