X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fweb%2Fbasic_2.ldw.xml;h=9f80ad898c82f3d04a1e652b5cc41de0c4370189;hb=b4b5f03ffca4f250a1dc02f277b70e4f33ac8a9b;hp=d5f8b0b7f2f9c11c341982596182c7381b1db693;hpb=f2e989e7710ad99b76dc1b73315c00b8ba8fc40f;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
index d5f8b0b7f..9f80ad898 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
@@ -34,6 +34,9 @@
 
    <subsection name="A2">Stage "A2": "Extending the Applicability Condition"</subsection>
 
+   <news class="alpha" date="2017 January 17.">
+         Confluence for parallel r-transition on referred entries of local environments.
+   </news>
    <news class="alpha" date="2016 September 15.">
          Confluence for context-sensitive parallel r-transition on terms.
    </news>