From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 28 Sep 2012 17:14:12 +0000 (+0000)
Subject: - some additions to basic_2
X-Git-Tag: make_still_working~1505
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a5e781138f03034104184a40889c33515ac9778;p=helm.git

- some additions to basic_2
- new logo for lambda_delta
---

diff --git a/helm/www/lambda_delta/images/crux_177.png b/helm/www/lambda_delta/images/crux_177.png
new file mode 100644
index 000000000..38b643264
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_177.png differ
diff --git a/helm/www/lambda_delta/images/crux_177.xcf b/helm/www/lambda_delta/images/crux_177.xcf
new file mode 100644
index 000000000..685256637
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_177.xcf differ
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 2252411ce..853fd88df 100644
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -182,7 +182,8 @@ table {
           }
         ]
         [ { "partial unfold" * } {
-             [ "ltpss ( ? ▶*[?,?] ? )" "ltpss_ldrop" "ltpss_tps" "ltpss_tpss" "ltpss_ltpss" * ] 
+             [ "ltpss_sn ( ? ⊢ ▶*[?,?] ? )" "ltpss_sn_ldrop" "ltpss_sn_tps" "ltpss_sn_tpss" "ltpss_sn_ltpss_sn" "ltpss_sn_alt ( ? ⊢ ▶▶*[?,?] ? )" * ]
+             [ "ltpss_dx ( ? ▶*[?,?] ? )" "ltpss_dx_ldrop" "ltpss_dx_tps" "ltpss_dx_tpss" "ltpss_dx_ltpss_dx" * ]
              [ "tpss ( ? ⊢ ? ▶*[?,?] ? )" "tpss_alt ( ? ⊢ ? ▶▶*[?,?] ? )" "tpss_lift" "tpss_tpss" * ]
           }
         ]