-- some renaming in basic_2

[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 8480c70de4796ca4afb625f29958e3992d72f888..b50dcdb404a1ca3675d1e6e89b938198ded1827a 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -41,11 +41,11 @@ table {
    [ { "reduction" * } {
          [ { "context-sensitive" * } {
              [ "lcpr" * ]
-             [ "cpr" "cpr_lift" "cpr_tpss" "cpr_cpr" * ]
+             [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
           }
          ]
          [ { "context-free" * } {
-             [ "ltpr" "ltpr_drop" * ]
+             [ "ltpr" "ltpr_ldrop" * ]
              [ "tpr"  "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
            }
         ]
@@ -66,7 +66,7 @@ table {
    class "yellow"
    [ { "unfold" * } {
         [ { "partial" * } {
-             [ "ltpss" "ltpss_drop" "ltpss_tps" "ltpss_ltpss" * ] 
+             [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ] 
             [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
           }
        ]
@@ -75,12 +75,12 @@ table {
    class "orange"   
    [ { "substitution" * } { 
         [ { "parallel" * } {
-             [ "ltps" "ltps_drop" "ltps_tps" "ltps_ltps" * ]
+             [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ]
             [ "tps" "tps_lift" "tps_tps" * ]
           }
        ]
        [ { "local env. dropping" * } {
-             [ "drop" "drop_drop" * ]
+             [ "ldrop" "ldrop_ldrop" * ]
           }
        ]
         [ { "term relocation" * } {