1 <?xml version="1.0" encoding="UTF-8"?>
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)"
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>