doc-src/IsarRef/syntax.tex

 
 \item [$\at\{thm_style~s~a\}$] prints theorem $a$, previously
   applying a style $s$ to it; otherwise behaves the same as $\at\{thm~a\}$
   with just one theorem.
 
-\item [$\at\{term_style~s~t\}$] prints a well-typed term $t$, previously
+\item [$\at\{term_style~s~t\}$] prints a well-typed term $t$ after
   applying a style $s$ to it; otherwise behaves the same as $\at\{term~t\}$.
 
 \item [$\at\{text~s\}$] prints uninterpreted source text $s$.  This is
   particularly useful to print portions of text according to the Isabelle
   {\LaTeX} output style, without demanding well-formedness (e.g.\ small pieces