X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground.ldw.xml;h=10ede27258bcc10c95df437733eb2b74b867db71;hp=79e15a5419105e4f6ca7dd021b537d072914a6e8;hb=614d006be363d2e2bbfdf8eb3c20c8604d278be1;hpb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823 diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml index 79e15a541..10ede2725 100644 --- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml +++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml @@ -48,7 +48,7 @@ Logical Structure of the Specification This table reports the specification's components and their planes. - +