X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_commands.xml;h=919f71451f63b99884f7037c2a14e240abb92126;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=45e7c13abd9b237b066d203737580f1dd3c722e3;hpb=ad5d1efa7265f0881bc0b1a49cd806f40e4cb31a;p=helm.git
diff --git a/matita/matita/help/C/sec_commands.xml b/matita/matita/help/C/sec_commands.xml
index 45e7c13ab..919f71451 100644
--- a/matita/matita/help/C/sec_commands.xml
+++ b/matita/matita/help/C/sec_commands.xml
@@ -131,9 +131,7 @@
-->
coercion
- TODO
-
disambiguation
hints (aliases).
On the contrary, theorem and definitions declared in a file can be
immediately used without including it.
@@ -471,51 +502,38 @@
unification hint
- TODO
-
universe constraint
@@ -625,7 +643,7 @@ depending on the provided parameters.
|
- definition
+ definitionTry give a definition flavour