X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=51995e4fef492cdc4653b4a69f6bc55b24becc31;hb=b405363d37a437e86705bd85f5b549a36878e7d5;hp=db9898b6deac903bec0cade6c303420088a8eaf0;hpb=2fd3cd6a9477c2244391c16a230f69b4a231e5ab;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 db9898b6d..51995e4fe 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -26,8 +26,20 @@
for native type assignment.
+ Closure of extended context-sensitive computation
+ for native validity.
+
+
+ Extended context-sensitive strong normalization
+ for simply typed terms.
+
+
+ Polarized binders to control ζ reduction.
+
+
Context-sensitive subject equivalence
- for atomic arity assignment.
+ for atomic arity assignment
+ (anniversary milestone).
Context-sensitive strong normalization