X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_commands.xml;h=6c9ad43af74097f740569d63d827fbf3424fbd96;hb=d95bd78c09617ad212fa9e96837a15fc907dcfca;hp=3deaf4b517ae381d6f1bfe0419f22de521c83278;hpb=8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a;p=helm.git
diff --git a/matita/matita/help/C/sec_commands.xml b/matita/matita/help/C/sec_commands.xml
index 3deaf4b51..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
+
+