additions to basic_2

[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 5f2faed4c91713bc8e52c4566d20a014aef545e6..a9973a20305571368fd458b3b9d7c81c369a211a 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -104,7 +104,7 @@ table {
          }
         ]
         [ { "atomic arity assignment" * } {
-            [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_lifts" "aaa_aaa" * ]
+            [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_ltps" "aaa_lifts" "aaa_ltpss" "aaa_aaa" * ]
          }
         ]
         [ { "parameters" * } {