- ext2_tc added

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

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 77fe48710c6403c5bd6659963a1b001461f40dae..4f947c2dccfbcedca4b021cef17eff4d5e973632 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -221,7 +221,7 @@ table {
           }
         ]
         [ { "generic entrywise extension" * } {
-             [ "lexs ( ? ⦻*[?,?,?] ? )" "lexs_length" + "lexs_lexs" * ]
+             [ "lexs ( ? ⦻*[?,?,?] ? )" "lexs_tc" + "lexs_length" + "lexs_lexs" * ]
           }
         ]
      }
@@ -258,7 +258,7 @@ table {
           }
         ]
         [ { "binders for local environments" * } {
-             [ "ext2" "ext2_ext2" * ]
+             [ "ext2" "ext2_tc" + "ext2_ext2" * ]
              [ "bind" "bind_weight" * ]
           }
         ]