From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 9 Mar 2013 22:26:54 +0000 (+0000)
Subject: basic_2_src.tbl was not updated :(
X-Git-Tag: make_still_working~1228
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2306f231950c1e85837b6b22a1020e66c92319d7;p=helm.git

basic_2_src.tbl was not updated :(
---

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
index 1f49b9cd4..ee1b110eb 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -86,8 +86,8 @@ table {
              [ "fprs ( ⦃?,?⦄ ➡* ⦃?,?⦄ )" "fprs_aaa" + "fprs_fprs" * ]
           }
         ]
-        [ { "\"big tree\" order" * } {
-             [ "ygt ( ? ⊢ ⦃?,?⦄ >[g] ⦃?,?⦄ )" "ygt_ygt" * ]
+        [ { "\"big tree\" parallel computation" * } {
+             [ "yprs ( ? ⊢ ⦃?,?⦄ ≥[g] ⦃?,?⦄ )" "yprs_yprs"  "ygt ( ? ⊢ ⦃?,?⦄ >[g] ⦃?,?⦄ )" "ygt_ygt" * ]
           }
         ]
         [ { "decomposed extended computation" * } {
@@ -133,8 +133,8 @@ table {
              [ "fpr ( ⦃?,?⦄ ➡ ⦃?,?⦄ )" "fpr_cpr" + "fpr_fpr" * ]
           }
         ]
-        [ { "\"big tree\" successor" * } {
-             [ "ysucc ( ? ⊢ ⦃?,?⦄ ≻[g] ⦃?,?⦄ )" * ]
+        [ { "\"big tree\" parallel reduction" * } {
+             [ "ypr ( ? ⊢ ⦃?,?⦄ ≽[g] ⦃?,?⦄ )" "ysc ( ? ⊢ ⦃?,?⦄ ≻[g] ⦃?,?⦄ )" * ]
           }
         ]
         [ { "context-sensitive normal forms" * } {