X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fapps_2%2Fweb%2Fapps_2_src.tbl;h=b68727314d12068983e8308fbe80c0966a984b0f;hp=3388f435055fae254a838f7e7ec1210e2ef66553;hb=f86ab1580e0bab7f8cada3cc7ffdf80f40e3de9a;hpb=fdf7649cd98c08e6153f08ae5831191d9cbf1574

diff --git a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl
index 3388f4350..b68727314 100644
--- a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl
@@ -16,7 +16,7 @@ table {
           }
         ]
         [ { "evaluation equivalence" * } {
-             [ "veq" + "( ? ≗{?} ? )" "veq_vdrop" "veq_li" * ]
+             [ "veq" + "( ? ≗{?} ? )" "veq_vdrop" "veq_li" "veq_lifts" * ]
           }
         ]
         [ { "evaluation drop" * } {