- probe: critical bug fixed (all objects were deleted due to wrong test)

[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 b365cee9ed831d08f10e501849d0958d676d3ac1..e6b3e1709ac15a1ee79b6af7ab429da32835c2eb 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,10 +148,6 @@ table {
              [ "crr ( ? ⊢ 𝐑⦃?⦄ )" "crr_append" + "crr_lift" * ]
           }
         ]
-        [ { "local env. ref. for extended reduction" * } {
-             [ "lsubx ( ? ⓝ⊑ ? )" "lsubx_lsubx" * ]
-          }
-        ]
      }
    ]
    class "green"
@@ -188,6 +184,10 @@ table {
    ]
    class "yellow"
    [ { "substitution" * } {
+        [ { "restricted local env. ref." * } {
+             [ "lsubr ( ? ⊑ ? )" "lsubr_lsubr" * ]
+          }
+        ]
         [ { "iterated structural successor for closures" * } {
              [ "fsups ( ⦃?,?⦄ ⊃* ⦃?,?⦄ )" "fsups_fsups" * ]
              [ "fsupp ( ⦃?,?⦄ ⊃+ ⦃?,?⦄ )" "fsupp_fsupp" * ]