former commit completed: one file was missing :(

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 4f947c2dccfbcedca4b021cef17eff4d5e973632..d960b585944b286b4ae599fea8d048796b78b074 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,6 +221,7 @@ table {
           }
         ]
         [ { "generic entrywise extension" * } {
+             [ "lex ( ? ⦻[?] ? )" * ]
              [ "lexs ( ? ⦻*[?,?,?] ? )" "lexs_tc" + "lexs_length" + "lexs_lexs" * ]
           }
         ]
@@ -251,7 +252,8 @@ table {
           }
         ]
         [ { "local environments" * } {
-             [ "lenv_ext2" * ]
+             [ "ceq_ext" "ceq_ext_ceq_ext" * ]
+             [ "cext2" * ]
              [ "lenv_length ( |?| )" * ]
              [ "lenv_weight ( ♯{?} )" * ]
              [ "lenv" * ]