update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / web / ground_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index be1cfadbb7c489a84dce3e7249015041ff47343c..edc2157eb715230b1993d674ca5ae2c792dd442e 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -24,9 +24,9 @@ table {
       [ { "finite relocation with pairs" * } {
           [ "fr2_nat ( @❨?,?❩ ≘ ? )" "fr2_nat_nat" * ]
           [ "fr2_minus ( ? ▭ ? ≘ ? )" * ]
-          [ "fr2_append ( ?@@? )" * ]
+          [ "fr2_append ( ?;;? )" * ]
           [ "fr2_plus ( ?+? )" * ]
-          [ "fr2_map ( ◊ ) ( ❨?,?❩;? )" * ]
+          [ "fr2_map ( 𝐞 ) ( ❨?,?❩;? )" * ]
         }
       ]
       [ { "total relocation" * } {
@@ -133,7 +133,7 @@ table {
       [ { "lists" * } {
           [ "list_append ( ?⨁{?}? )" "list_rcons ( ?⨭{?}? )" * ]
           [ "list_length ( |?| )" * ]
-          [ "list ( â\92º{?} ) ( ? ⨮{?} ? )" "list_eq" * ]
+          [ "list ( â\93\94{?} ) ( ? ⨮{?} ? )" "list_eq" * ]
         }
       ]
       [ { "" * } {