λδ-2B is released

[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 ac892add2adbccce95f491fb7412b56a1d6c13d3..83796e3520ba58d05b227036a59f827c59c805be 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
@@ -22,7 +22,7 @@ table {
         [ { "generic reducibility" * } {
              [ [ "restricted refinement for lenvs" ] "lsubc" + "( ? ⊢ ? ⫃[?] ? )" "lsubc_drops" + "lsubc_lsubr" + "lsubc_lsuba" * ]
              [ [ "candidates" ] "gcp_cr" + "( ⦃?,?,?⦄ ϵ[?] 〚?〛 )" "gcp_aaa" * ]
-             [ [ "computation properties" ] "gcp" *] 
+             [ [ "computation properties" ] "gcp" *]
           }
         ]
         [ { "atomic arity assignment" * } {
@@ -106,7 +106,7 @@ table {
              [ [ "preorder" ] "acle" + "( ? ⊆ ? )"  "acle_acle" * ]
              [ [ "properties" ] "ac" + "( 𝟏 )" + "( 𝟐 )" + "( 𝛚 )" * ]
           }
-        ]   
+        ]
         [ { "equivalence up to exclusion binders" * } {
              [ [ "for lenvs" ] "lveq" + "( ? ≋ⓧ*[?,?] ? )" "lveq_length" + "lveq_lveq" * ]
           }