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
10 according to the following table.
11 The notation for the relations or functions introduced in each file
12 is shown in parentheses.
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