X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground_src.tbl;h=2b655f20c4b71fbf3ceedd5b7ff8beb09fe81465;hb=291fe1d3b56faf91d07099f43f3ebde2988649e1;hp=6a4e3dcf933dd188d17b04e5297037c4cbbf4fda;hpb=b5507c449ba38a76666a35664f9cf4e1953ad8ec;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 6a4e3dcf9..2b655f20c 100644
--- 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" * } {