From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 17 Nov 2017 14:37:18 +0000 (+0000)
Subject: former commit completed: one file was missing :(
X-Git-Tag: make_still_working~404
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=8621771bc5c35065bbd12df9cb5fcaf7dc4aa515

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 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" * ]