milestone in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / web / static_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl b/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
index 5fb750e3fd0d21288ef2bf42f9d718ed39b6ca4e..257341c6a0babf5a9c7fa56138ae819fca1f177f 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
@@ -120,7 +120,7 @@ table {
           }
         ]
         [ { "sort-irrelevant whd equivalence" * } {
-             [ [ "for terms" ] "tweq" + "( ? ≅ ? )" "tweq_simple" + "tweq_tueq" * ]
+             [ [ "for terms" ] "tweq" + "( ? ≅ ? )" "tweq_simple" + "tweq_tdeq" + "tweq_tueq" * ]
           }
         ]
         [ { "sort-irrelevant equivalence" * } {