X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=eed6cb8f9455307306d00359cf857bf5ab263acd;hb=99c8b28b92ec2c44774f664f9c9ec1a458593e1d;hp=51995e4fef492cdc4653b4a69f6bc55b24becc31;hpb=335ae5716c5abbdbaaa4f115c56f7fdcc91320a4;p=helm.git
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 51995e4fe..eed6cb8f9 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -34,7 +34,7 @@
for simply typed terms.
- Polarized binders to control ζ reduction.
+ Term binders polarized to control ζ reduction.
Context-sensitive subject equivalence