X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_commands.xml;h=6c9ad43af74097f740569d63d827fbf3424fbd96;hb=68a413ec8a20ef0d73fcd5810be7db659abe6f92;hp=a3a6cb8ed01d44b51dcc91da537809878acbf544;hpb=cffe307107c93392c8663ec246049c0e55d1ed69;p=helm.git
diff --git a/matita/matita/help/C/sec_commands.xml b/matita/matita/help/C/sec_commands.xml
index a3a6cb8ed..6c9ad43af 100644
--- a/matita/matita/help/C/sec_commands.xml
+++ b/matita/matita/help/C/sec_commands.xml
@@ -131,9 +131,7 @@
-->
coercion
- TODO
-
+
+
+ universe constraint
+ TODO
+
+