X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fweb%2Fbasic_2_src.tbl;h=0ac1d94d22de85a9c07c87a17226439c289c5402;hb=632c54beaf67e68a1eeeec22274466157003b779;hp=68759e53b395465b6115a7540b7aae19ab5e538b;hpb=d0e3208d69d24a9dc9e066e381f1601bc8e109be;p=helm.git

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 68759e53b..0ac1d94d2 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
@@ -62,15 +62,15 @@ table {
         ]
      }
    ]
+*)
    class "blue"
    [ { "conversion" * } {
-        [ { "context-sensitive conversion" * } {
-             [ "cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )" "cpc_cpc" * ]
+        [ { "context-sensitive r-conversion" * } {
+             [ "cpc ( ⦃?,?⦄ ⊢ ? ⬌[?] ? )" "cpc_cpc" * ]
           }
         ]
      }
    ]
-*)
    class "sky"
    [ { "rt-computation" * } {
 (*
@@ -124,7 +124,7 @@ table {
    ]
    class "cyan"
    [ { "rt-transition" * } {
-        [ { "parallel rst-transition" * } {
+        [ { "uncounted rst-transition" * } {
              [ "fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ )" "fpbq_aaa" * ]
              [ "fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )" "fpb_lfdeq" * ]
           }