X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fld_basic_2.tbl;fp=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fld_basic_2.tbl;h=5ef4c8603d4c22f71c2a8a0e467c62a25fc1f164;hb=30df7ebabc6eb145c28a9724c6e8ad9612c784b1;hp=89cc5e535338783654c0dd1553b9bc046c1cfa6e;hpb=0aa60d67f17b528b896e05bbd01038cbc195f69d;p=helm.git

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.tbl b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
index 89cc5e535..5ef4c8603 100644
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -44,17 +44,16 @@ table {
    class "water"
    [ { "computation" * } {
         [ { "strongly normalizing computation" * } {
-	     [ "lsubcs" * ]
-	     [ "csn" "csn_cr" "csn_aarity" * ]
+	     [ "csn" "csn_cr" "csn_aaa" * ]
 	  }
         ]
         [ { "context-sensitive computation" * } {
 	     [ "cprs" * ]
 	  }
         ]
-        [ { "support for abstract comptation properties" * } {
+        [ { "support for abstract computation properties" * } {
 	     [ "lsubc" * ]
-	     [ "acp" "acp_cr" * ]
+	     [ "acp" "acp_cr" "acp_aaa" * ]
           }
 	]
      }
@@ -108,6 +107,10 @@ table {
 	     [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
           }
 	]
+	[ { "generic local env. slicing" * } { 
+	     [ "lifts" "ldrops" * ]
+          }
+	]
      }
    ]
    class "orange"   
@@ -126,7 +129,7 @@ table {
           }
 	]
         [ { "term relocation" * } {
-             [ "lift" "lift_lift" * ]
+             [ "lift" "lift_lift" "lift_vector" * ]
           }
         ]
      }
@@ -147,7 +150,7 @@ table {
 	]
         [ { "internal syntax" * } {
              [ "lenv" "lenv_weight" "lenv_length" * ]
-             [ "term" "term_weight" "term_simple" * ]
+             [ "term" "term_weight" "term_simple" "term_vector" * ]
 	     [ "item" * ]
 	  }
 	]