X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_commands.xml;h=45e7c13abd9b237b066d203737580f1dd3c722e3;hb=ad5d1efa7265f0881bc0b1a49cd806f40e4cb31a;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..45e7c13ab 100644
--- a/matita/matita/help/C/sec_commands.xml
+++ b/matita/matita/help/C/sec_commands.xml
@@ -469,6 +469,102 @@
+
+ unification hint
+ TODO
+
+
+
+ universe constraint
+ TODO
+
+