manual commit

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

diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl
index a9973a20305571368fd458b3b9d7c81c369a211a..fc492c56dac86282337e83ad758fa271a0d16b36 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -83,7 +83,7 @@ table {
           }
        ]
         [ { "context-free reduction" * } {
-            [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" "ltpr_tps" * ]
+            [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" "ltpr_tps" "ltpr_aaa" * ]
             [ "tpr ( ? ➡ ? )"  "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
           }
        ]