X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2A%2Fweb%2Fbasic_2A.ldw.xml;h=4fb504ad26aa4e1790431da8754679b15fd48ffb;hb=614d006be363d2e2bbfdf8eb3c20c8604d278be1;hp=819c9260b30549aab6977d237350bb15f56834e2;hpb=1fd63df4c77f5c24024769432ea8492748b4ac79;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml index 819c9260b..4fb504ad2 100644 --- a/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml +++ b/matita/matita/contribs/lambdadelta/basic_2A/web/basic_2A.ldw.xml @@ -15,7 +15,7 @@ - λδ-2A is repackaged on the basis of λδ-ground-2. + λδ-2A is repackaged without λδ-ground. λδ-2A is repackaged (was λδ-2A1).