distribute more stuff

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

diff --git a/matita/help/C/sec_intro.xml b/matita/help/C/sec_intro.xml
index 773bda24ca7f86fe0e0cba580a3e5f6e103d6b98..6c22f46647fe4dad91567fefc8f3af95c5b82634 100644 (file)
--- 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>