- the relation for pointwise extensions now takes a binder as argument

[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 0908b1e0a017d4454141a7d79712ed6017732a67..02b1b78acc115753c2b5dc17d054d6f039f24ef1 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
@@ -36,7 +36,7 @@
         for context-sensitive extended computation.
    </news>
    <news date="2014 April 16.">
-         lazy equivalence for local environments
+         lazy equivalence on local environments
         serves as irrelevant step in "big tree" computation
          (anniversary milestone).
    </news>