X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fweb%2Fstatic_2.ldw.xml;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fweb%2Fstatic_2.ldw.xml;h=5df6a460905b54c67995eb30f45e7d5fc67064f3;hb=ff612dc35167ec0c145864c9aa8ae5e1ebe20a48;hp=0000000000000000000000000000000000000000;hpb=222044da28742b24584549ba86b1805a87def070;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/static_2/web/static_2.ldw.xml b/matita/matita/contribs/lambdadelta/static_2/web/static_2.ldw.xml new file mode 100644 index 000000000..5df6a4609 --- /dev/null +++ b/matita/matita/contribs/lambdadelta/static_2/web/static_2.ldw.xml @@ -0,0 +1,32 @@ + + + + + + Contents of the Specification + This specification contains the syntactic components of λδ version 2 + that every forthcoming system of the λδ family will share. + + + Summary of the Specification + Here is a numerical account of the specification's contents + and its timeline. + + + + + The specification stands alone. + + + Logical Structure of the Specification + This table reports the specification's components and their planes. + +
+ +
+