more files to Basic_2

[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.ldw.xml

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
index 080d62ea1a43f22318e376b373a8c9d3f727e107..49d4094fe873663398dc3e96fec30f2388f6c695 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
@@ -6,9 +6,15 @@
       head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
 >
    <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.</ld:body>
+   <ld:body>The source files are grouped in planes and components
+            according to the following table.
+            The notation for the relations or functions introduced in each file
+           is shown in parentheses.
+   </ld:body>
    <ld:table name="ld_basic_2_src"/>
    <ld:section>Physical structure of the contribution</ld:section>
-   <ld:body>The source files are grouped in directories, one for each component.</ld:body>
+   <ld:body>The source files are grouped in directories, one for each
+            component.
+   </ld:body>
    <ld:footer/>
 </ld:page>