lfpx_frees and confluence of lfpr!

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2.ldw.xml

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 d5f8b0b7f2f9c11c341982596182c7381b1db693..9f80ad898c82f3d04a1e652b5cc41de0c4370189 100644 (file)
--- 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>