Basic 2 page update

[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.tbl

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 89cc5e535338783654c0dd1553b9bc046c1cfa6e..5ef4c8603d4c22f71c2a8a0e467c62a25fc1f164 100644 (file)
--- 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" * ]
          }
        ]