tuned;
authorwenzelm
Tue Jun 10 16:43:07 2008 +0200 (2008-06-10)
changeset 2711656617a7b68c5
parent 27115 0dcafa5c9e3f
child 27117 97e9dae57284
tuned;
doc-src/IsarRef/Thy/Proof.thy
     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