From 8621771bc5c35065bbd12df9cb5fcaf7dc4aa515 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 17 Nov 2017 14:37:18 +0000
Subject: [PATCH] former commit completed: one file was missing :(

---
 .../matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl   | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 4f947c2dc..d960b5859 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
@@ -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" * ]
-- 
2.39.2