X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2Flambdadelta_1%2Fweb%2Fground_1.ldw.xml;fp=helm%2Fcoq-contribs%2Flambdadelta_1%2Fweb%2Fground_1.ldw.xml;h=0000000000000000000000000000000000000000;hb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;hp=846fe7ce9f57ec64a5c64a3ecafd3f52b65503b0;hpb=c7b50fec51b9a25d5bc536f44e54179fd53efb44;p=helm.git diff --git a/helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml b/helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml deleted file mode 100644 index 846fe7ce9..000000000 --- a/helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml +++ /dev/null @@ -1,33 +0,0 @@ - - - - - - Summary of the Specification - Here is a numerical account of the specification's contents - and its timeline. - - - - - Update with backports from the abandoned specification of Î»Î´ version 2. - - - Specification is concluded. - - - Specification starts. - - - Logical Structure of the Specification - This table reports the specification's components and their planes. - -

- -