X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground_src.tbl;h=a4c2883e4b37347c9e45a639f7cf4089fdbd120e;hb=9709aaeb059e24359d5d8a3997ef22974bff3718;hp=6294abc43513c1fe393b8eeab4c39b8662128a27;hpb=11093619476326238c2ef9d2dfe9150b8c9bc920;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 6294abc43..a4c2883e4 100644
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -30,7 +30,8 @@ table {
         }
       ]
       [ { "total relocation" * } {
-          [ "tr_map ( 𝐭❨?❩ )" "tr_nexts" "tr_eq" * ]
+          [ "tr_pap ( ?@❨?❩ )" * ]
+          [ "tr_map ( 𝐭❨?❩ )" "tr_eq" "tr_nexts" "tr_pat" * ]
         }
       ]
       [ { "partial relocation" * } {