X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fweb%2Fchanges.tbl;h=ee327a5de1f68315348af3faafdd4cc02d338110;hb=cfd201c62dd9b854bfb4ada648d3e556b29fac3a;hp=9ef76e8f408e1b07422d902293e6b9ee84ea6d9f;hpb=3f57ed2589601e79478c85d74708d8ebdec2cf20;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/web/changes.tbl b/matita/matita/contribs/lambdadelta/web/changes.tbl
index 9ef76e8f4..ee327a5de 100644
--- a/matita/matita/contribs/lambdadelta/web/changes.tbl
+++ b/matita/matita/contribs/lambdadelta/web/changes.tbl
@@ -18,8 +18,8 @@ table {
        }
      ]
      [ [{ "equivalences" * }]
-       { "" "" "" "" "" "" "" }
-       { "+" "-" "+" "+" "+" "+" "-" }
+       { "" "" "" "" "" "" "" "" }
+       { "+" "-" "+" "+" "+" "+" "-" "+" }
        { "derived rt-equivalence (terms)"
          "primitive decomposed rt-equivalence (terms) removed"
          "equivalence for whd rt-reduction (terms)"
@@ -27,6 +27,7 @@ table {
          "equivalence up to exclusion binders (selected lenvs)"
          "syntactic equivalence (items)"
          "syntactic equivalence (selected closures) removed"
+         "generic quivalence (terms, items, referred lenvs, referred closures)"
        }
      ]
      [ [{ "partial orders" * }]