X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=70da9440498d2ca8c5ba5e031b22203972c20814;hb=543cce4ec3113fc54c6b276713e10fce74cb5f20;hp=4499f234453c4ec3b0915fd69a04b8de2567ac90;hpb=630f5b03a7e5da46d7795fc0124a288a1efb8562;p=helm.git
diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 4499f2344..70da94404 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -1,28 +1,28 @@
-
+
Terms, definitions, declarations and proofs
-
+
Terms
&TODO;
-
+
-
+
Definitions
&TODO;
-
+
-
+
Declarations (of inductive types)
&TODO;
-
+
-
+
Proofs
&TODO;
-
+
-
+