update in ground, basic_2A and apps_2

[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 a903cf08866ceed13b8246184b846f018a0786d3..2b655f20c4b71fbf3ceedd5b7ff8beb09fe81465 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -24,12 +24,14 @@ table {
       [ { "finite relocation with pairs" * } {
           [ "fr2_nat ( @❨?,?❩ ≘ ? )" "fr2_nat_nat" * ]
           [ "fr2_minus ( ? ▭ ? ≘ ? )" * ]
-          [ "fr2_append ( ?;;? )" * ]
+          [ "fr2_append ( ?●? )" * ]
           [ "fr2_plus ( ?+? )" * ]
-          [ "fr2_map ( 𝐞 ) ( ❨?,?❩;? )" * ]
+          [ "fr2_map ( 𝐞 ) ( ❨?,?❩◗? )" * ]
         }
       ]
       [ { "total relocation" * } {
+          [ "tr_uni ( 𝐮❨?❩ )" * ]
+          [ "tr_id ( 𝐢 ) " * ]
           [ "tr_compose ( ?∘? )" "tr_compose_pn" * ]
           [ "tr_pap ( ?@❨?❩ )" "tr_pap_eq" "tr_pap_pat" "tr_pap_pn" "tr_pap_pap" * ]
           [ "tr_pn ( ⫯? ) ( ↑? )" "tr_pn_hdtl" "tr_pn_tls" * ]