update ...

[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.tbl

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.tbl b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
index 5ba11a277acf1edfc40cea0fd3a374d9ceaeeafc..8480c70de4796ca4afb625f29958e3992d72f888 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -91,8 +91,8 @@ table {
    ]
    class "red"   
    [ { "grammar" * } {
-        [ { "local env. equivalence" * } {
-             [ "leq" "leq_leq" * ]
+        [ { "local env. ref. for substitution" * } {
+             [ "lsubs" "lsubs_lsubs" * ]
           }
        ]
        [ { "term hom." * } {