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=729331c1d386b0571659786f72e121569e933fe4;hb=65383ff6ec2236b0a61310b872ea4cd5fcc26fb7;hp=fe1040d58cf47aa22fbbcc472bef98681595f517;hpb=df11c235566a301d9e1f9e41a372cc85bcb7b60e;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 fe1040d58..729331c1d 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
@@ -155,8 +155,8 @@ table {
    ]
    class "water"
    [ { "iterated static typing" * } {
-        [ { "generic extension on referred entries" * } {
-             [ "lfxss ( ? ⦻**[?,?] ? )" * ]
+        [ { "iterated extension on referred entries" * } {
+             [ "tc_lfxs ( ? ⦻**[?,?] ? )" * ]
           }
         ]
      }