From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Apr 2012 13:50:40 +0000 (+0000)
Subject: urgent partial commit ... to be fixed later ...
X-Git-Tag: make_still_working~1816
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0bce111aa8d2b50d07151fe54e45e564874d727;p=helm.git

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 e10c3200b..5fad93b37 100644
--- 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" * ]
           }
 	]