]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
Notation for destructuring let-in for triples fixed.
[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.ldw.xml
index d38e7d73eba47ecfd66ab8688ad80dcfe8b98024..49d4094fe873663398dc3e96fec30f2388f6c695 100644 (file)
@@ -8,7 +8,7 @@
    <ld:section>Logical structure of the contribution</ld:section>
    <ld:body>The source files are grouped in planes and components
             according to the following table.
-            The notation for the relation or function introduced in each file
+            The notation for the relations or functions introduced in each file
            is shown in parentheses.
    </ld:body>
    <ld:table name="ld_basic_2_src"/>