- one annotation added

[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 9f80ad898c82f3d04a1e652b5cc41de0c4370189..b8c48ab9bf25b74d04be9bd5906a91ab7c7127ab 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 February 19.">
+         Generic candidates of reducibility.
+   </news>
    <news class="alpha" date="2017 January 17.">
          Confluence for parallel r-transition on referred entries of local environments.
    </news>
@@ -116,7 +119,7 @@
          for simply typed terms.
    </news>
    <news class="alpha" date="2012 January 27.">
-         Support for abstract candidates of reducibility.
+         Generic candidates of reducibility.
    </news>
    <news class="alpha" date="2011 September 21.">
          Confluence for context-sensitive parallel reduction on terms.