X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fweb%2Fbasic_2_src.tbl;h=8cd2fd30fd0d78d2e8c92c4c0326ac6e8b0a0d4f;hp=236b4f999d77e20a1d6af9ad3d6f0db9767366b9;hb=bbb6dd07ecb430bf06bb52c2506626106449a5af;hpb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8

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 236b4f999..8cd2fd30f 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
@@ -41,6 +41,7 @@ table {
    class "blue"
    [ { "rt-conversion" * } {
         [ { "context-sensitive parallel eta-conversion" * } {
+             [ [ "for lenvs on all entries" ] "lpce ( ⦃?,?⦄ ⊢ ⬌η[?] ? )" * ]
              [ [ "for terms" ] "cpce" + "( ⦃?,?⦄ ⊢ ? ⬌η[?] ? )" * ]
           }
         ]