examples of applyS

[helm.git] / matita / help / C / sec_tactics.xml

diff --git a/matita/help/C/sec_tactics.xml b/matita/help/C/sec_tactics.xml
index 2e1f6f36565e8a32f32c921e63badaf964e26a36..712ce837a524ec2cd360fc94ad45f12e04fdf5e2 100644 (file)
--- a/matita/help/C/sec_tactics.xml
+++ b/matita/help/C/sec_tactics.xml
@@ -857,7 +857,7 @@ its constructor takes no arguments.</para>
   </sect1>
   <sect1 id="tac_injection">
     <title>injection</title>
-    <titleabbrev><emphasis role="bold">injection</emphasis></titleabbrev>
+    <titleabbrev>injection</titleabbrev>
     <para><userinput>injection p</userinput></para>
     <para>
       <variablelist>