urgent partial commit ... to be fixed later ...

diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl
index e10c3200b814dd9f197a5a0beae10595ae8b3f4f..5fad93b374b8e7f9b3f6399b2e879efb471203a6 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -123,7 +123,7 @@ table {
        ]
        [ { "partial unfold" * } {
              [ "ltpss ( ? [?,?] ▶* ? )" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ] 
-            [ "tpss ( ? ⊢ ? [?,?] ▶* ? )" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
+            [ "tpss ( ? ⊢ ? [?,?] ▶* ? )" "tpss_lift" "tpss_tpss" * ]
           }
        ]
        [ { "generic local env. slicing" * } { 
@@ -144,7 +144,6 @@ table {
    class "orange"   
    [ { "substitution" * } { 
         [ { "parallel substitution" * } {
-             [ "ltps ( ? [?,?] ▶ ? )" "ltps_ldrop" "ltps_tps" * ]
             [ "tps ( ? ⊢ ? [?,?] ▶ ? )" "tps_lift" "tps_tps" * ]
           }
        ]