Documentation for let-rec fixed.

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index 4b7eca3a2fa4799ab419e496208568c60f03de70..add3ba750bf181683c65ae473be1269cc745377c 100644 (file)
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -206,7 +206,7 @@
        <entry />
        <entry />
        <entry>
-         [<emphasis role="bold">on</emphasis> &nat;]
+         [<emphasis role="bold">on</emphasis> &id;]
          [<emphasis role="bold">:</emphasis> &term;]
          <emphasis role="bold">≝</emphasis> &term;]
        </entry>