- exclusion binder in local environments

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
index 059745fe9568a4bedfa5f3ef044f422db158b74e..df82586f07817f633b8ba76385197dd3da82ac3b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -148,6 +148,7 @@ table {
         ]
      }
    ]
+*)
    class "water"
    [ { "iterated static typing" * } {
         [ { "iterated extension on referred entries" * } {
@@ -156,7 +157,6 @@ table {
         ]
      }
    ]
-*)
    class "green"
    [ { "static typing" * } {
         [ { "generic reducibility" * } {