# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1347352798 -7200
# Node ID 261c4bc7fe3823859fed74dce42fd9183654d62b
# Parent  f9669d38b631be14589fb0abaedbfa1543c6510d# Parent  0240ea97877d83ede33f0e40b7cdc38d6496cbba
merged

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