1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Tue Sep 11 09:33:27 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Tue Sep 11 10:39:58 2012 +0200
     1.3 @@ -434,7 +434,7 @@
     1.4  derive the formula from this context --- or give feedback, that no
     1.5  derivation can be found.
     1.6  
     1.7 -\subsection{Tacticals for Control of Interpretation}
     1.8 +\subsection{Tacticals as Control Flow Statements}
     1.9  The flow of control in a program can be determined by {\tt if then else}
    1.10  and {\tt case of} as mentioned on p.\pageref{isabelle-stmts} and also
    1.11  by additional tacticals: