additions and corrections to basic_2

[helm.git] / helm / www / lambda_delta / web / home / basic_2.ldw.xml

diff --git a/helm/www/lambda_delta/web/home/basic_2.ldw.xml b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
index ce35fd342ddb5728bfbb1919e8797353b12be481..eed6cb8f9455307306d00359cf857bf5ab263acd 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -33,6 +33,9 @@
          Extended context-sensitive strong normalization
         for simply typed terms.
    </news>
+   <news date="2012 July 26.">
+         Term binders polarized to control ζ reduction.
+   </news>   
    <news date="2012 April 16.">
          Context-sensitive subject equivalence
         for atomic arity assignment