update in static_2 and 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 257341c6a0babf5a9c7fa56138ae819fca1f177f..db531a271ccf1a2ed4f8455ff747881f77b07cf0 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
@@ -103,7 +103,7 @@ table {
    class "red"
    [ { "syntax" * } {
         [ { "applicability condition" * } {
-             [ [ "properties" ] "ac" * ]
+             [ [ "properties" ] "ac" + "( 𝟏 )" + "( 𝟐 )" + "( 𝛚 )" * ]
           }
         ]   
         [ { "equivalence up to exclusion binders" * } {