X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=dbb6900d98f9d92d17184070315b0e7adf6d42f9;hb=2dc6df301ca3ebf444ec7f767921ee0e57ccd592;hp=8cd75e22808abc945e998ee568fe1aeb515dcba7;hpb=fef56ebd0e6b5edd2fe8b3393288c8811a7afc43;p=helm.git
diff --git a/matita/matita/help/C/sec_terms.xml b/matita/matita/help/C/sec_terms.xml
index 8cd75e228..dbb6900d9 100644
--- a/matita/matita/help/C/sec_terms.xml
+++ b/matita/matita/help/C/sec_terms.xml
@@ -636,18 +636,18 @@