doc-src/IsarImplementation/Thy/Prelim.thy

   concrete binding inlined into the text.
 *}
 
 ML {* Binding.pos_of @{binding here} *}
 
-text {* \medskip That position can be also printed in a message as
-  follows. *}
+text {* \medskip\noindent That position can be also printed in a
+  message as follows. *}
 
 ML_command {*
   writeln
     ("Look here" ^ Position.str_of (Binding.pos_of @{binding here}))
 *}