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=3a2a50c3e83f2c530f85d0f0ae4b90c87225afce;hb=8eae36a5d21821a23f287798e5e2a3ab37255b25;hp=bd75595b6edff948f2dba657d20ddb8f75d5e456;hpb=9f2866e7712df7b29af3b9e9fcd161f0e3ecca09;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 bd75595b6..3a2a50c3e 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
@@ -253,12 +253,14 @@ table {
           }
         ]
         [ { "local environments" * } {
+             [ "lenv_ext2" * ]
              [ "lenv_length ( |?| )" * ]
              [ "lenv_weight ( ♯{?} )" * ]
              [ "lenv" * ]
           }
         ]
         [ { "binders for local environments" * } {
+             [ "bind_ext2" * ]
              [ "bind" "bind_weight" * ]
           }
         ]