X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fld_basic_2.tbl;fp=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fld_basic_2.tbl;h=8480c70de4796ca4afb625f29958e3992d72f888;hb=1e6ccf5e87e8c52cc8b360350fe91f2557d9311d;hp=5ba11a277acf1edfc40cea0fd3a374d9ceaeeafc;hpb=b0dce88ff4c55b5f811ce9e183418479f7d34d2a;p=helm.git

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 5ba11a277..8480c70de 100644
--- 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." * } {