X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fweb%2Fstatic_2_src.tbl;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fweb%2Fstatic_2_src.tbl;h=0a962c3f8fcf23467454048328fdfab173e1d1bb;hb=488387490fb12d92f56ebcac2fc68d83a0d266ec;hp=db531a271ccf1a2ed4f8455ff747881f77b07cf0;hpb=9554ed555d9c744d7dfb787ccdaa6fc63eb6ba10;p=helm.git

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 db531a271..0a962c3f8 100644
--- a/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl
@@ -103,6 +103,7 @@ table {
    class "red"
    [ { "syntax" * } {
         [ { "applicability condition" * } {
+             [ [ "preorder" ] "acle" + "( ? ⊆ ? )"  "acle_acle" * ]
              [ [ "properties" ] "ac" + "( 𝟏 )" + "( 𝟐 )" + "( 𝛚 )" * ]
           }
         ]