X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_terms.xml;h=5fafcd0ac5b3b90af1ba2b43a965ea6c0b4d7004;hb=a526b1a92a355eaa4309c06ce97986d1e41e7845;hp=d92518d8d89fe9cd597de783dec98fa44a5ff0c2;hpb=f89e30b4f792260fe73c013aa18559bb2b85f3e4;p=helm.git
diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index d92518d8d..5fafcd0ac 100644
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -1,28 +1,29 @@
-
+
Terms, definitions, declarations and proofs
-
+
Terms
- TODO
-
+ &TODO;
+
-
+
Definitions
- TODO
-
+ &TODO;
+
-
+
Declarations (of inductive types)
- TODO
-
+ Declarations
+ &TODO;
+
-
+
Proofs
- TODO
-
+ &TODO;
+
-
+