tuned;

--- a/doc-src/IsarRef/Thy/Proof.thy	Tue Jun 10 16:43:01 2008 +0200
+++ b/doc-src/IsarRef/Thy/Proof.thy	Tue Jun 10 16:43:07 2008 +0200
@@ -342,7 +342,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
-  @{method_ref cases} method (cf.  \secref{sec:cases-induct}).
+  @{method_ref cases} method (cf.\ \secref{sec:cases-induct}).
 
   \medskip