helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <ld:page xmlns:ld="http://lambda_delta.info"
   4       description = "lambda_delta version 2"
   5       title = "lambda_delta version 2"
   6       head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
   7 >
   8    <ld:section>Logical structure of the contribution</ld:section>
   9    <ld:body>The source files are grouped in planes and components according to the following table.</ld:body>
  10    <ld:table name="ld_basic_2_src"/>
  11    <ld:section>Physical structure of the contribution</ld:section>
  12    <ld:body>The source files are grouped in directories, one for each component.</ld:body>
  13    <ld:footer/>
  14 </ld:page>