X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_intro.xml;h=6c22f46647fe4dad91567fefc8f3af95c5b82634;hb=6f769078a23e6c63706a86a35fdc4e8ba08a5414;hp=773bda24ca7f86fe0e0cba580a3e5f6e103d6b98;hpb=e8cabf1729a9abd24ee1e92a48401a28c36dc193;p=helm.git

diff --git a/matita/help/C/sec_intro.xml b/matita/help/C/sec_intro.xml
index 773bda24c..6c22f4664 100644
--- a/matita/help/C/sec_intro.xml
+++ b/matita/help/C/sec_intro.xml
@@ -9,7 +9,7 @@
       (or proof assistant) with the following characteristics:</para>
     <itemizedlist>
       <listitem>
-        <para>It is based on a variant of the Calculus of (co)Inductive Constructions (CIC). CIC is also the logic of the Coq proof assistant.</para>
+        <para>It is based on a variant of the Calculus of (Co)Inductive Constructions (CIC). CIC is also the logic of the Coq proof assistant.</para>
       </listitem>
       <listitem>
         <para>It adopts a procedural proof language, but it has a new set of small step tacticals that improve proof structuring and debugging.</para>