X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=ce35fd342ddb5728bfbb1919e8797353b12be481;hb=09f1f9fce2c91552dbb218276560d28ddc5f7a70;hp=f9f240048aafd1a541d1486287da13e897ba18c5;hpb=08db2212621969b85852de3bd0677149135df0fe;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 f9f240048..ce35fd342 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -25,9 +25,18 @@
Context-sensitive subject equivalence
for native type assignment.
+
+ Closure of extended context-sensitive computation
+ for native validity.
+
+
+ Extended context-sensitive strong normalization
+ for simply typed terms.
+
Context-sensitive subject equivalence
- for atomic arity assignment.
+ for atomic arity assignment
+ (anniversary milestone).
Context-sensitive strong normalization