From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 3 Sep 2012 14:32:06 +0000 (+0000)
Subject: partial update in basic_2 ...
X-Git-Tag: make_still_working~1511
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=36134784eb6c56a49380708ae82ec6c8566a2685;p=helm.git

partial update in basic_2 ...
---

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 698c8b1fa..2252411ce 100644
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -117,6 +117,11 @@ table {
              [ "crf ( ? ⊢ 𝐑⦃?⦄ )" "crf_append" "cif ( ? ⊢ 𝐈⦃?⦄ )" "cif_append" * ]
           }
         ]
+        [ { "focalized reduction" * } {
+             [ "lfpr_alt ( ⦃?⦄ ➡➡ ⦃?⦄ )" * ]
+             [ "fpr ( ⦃?,?⦄ ➡ ⦃?,?⦄ )" * ]
+          }
+        ]
         [ { "context-free normal forms" * } {
              [ "thnf ( 𝐇𝐍⦃?⦄ )"   * ]
           }
@@ -211,7 +216,7 @@ table {
           }
         ]
         [ { "local env. ref. for substitution" * } {
-             [ "lsubs ( ? ≼[?,?] ? )" "lsubs_lsubs" "lsubs_sfr ( ≽[?,?] ? )" * ]
+             [ "lsubs ( ? ≼[?,?] ? )" "(lsubs_lsubs)" "lsubs_sfr ( ≽[?,?] ? )" * ]
           }
         ]
         [ { "basic term relocation" * } {
@@ -224,7 +229,7 @@ table {
    class "red"   
    [ { "grammar" * } {
         [ { "same head term form" * } {
-             [ "tshf ( ? ≈ ? )" "tshf_tshf" * ]
+             [ "tshf ( ? ≈ ? )" "(tshf_tshf)" * ]
           }
         ]
         [ { "same top term constructor" * } {
@@ -237,7 +242,7 @@ table {
         ]
         [ { "internal syntax" * } {
              [ "genv" * ]
-             [ "lenv" "lenv_weight ( #{?} )" "lenv_length ( |?| )" "lenv_append ( ? @@ ? )" "lenv_px" * ]
+             [ "lenv" "lenv_weight ( #{?} )" "lenv_length ( |?| )" "lenv_append ( ? @@ ? )" "lenv_px" "lenv_px_bi" * ]
              [ "term" "term_weight ( #{?} )" "term_simple ( 𝐒⦃?⦄ )" "term_vector" * ]
              [ "item" * ]
           }