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
  10             according to the following table.
  11             The notation for the relations or functions introduced in each file
  12             is shown in parentheses.
  13    </ld:body>
  14    <ld:table name="ld_basic_2_src"/>
  15    <ld:section>Physical structure of the contribution</ld:section>
  16    <ld:body>The source files are grouped in directories, one for each
  17             component.
  18    </ld:body>
  19    <ld:footer/>
  20 </ld:page>