- one file added to Basic_2

[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 56905eacb74bb5231f8b5b863221c008163add93..be98dfe866bfc4971108c2e25fcd71fed0fd584b 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl
@@ -98,7 +98,7 @@ table {
          }
         ]
         [ { "atomic arity assignment" * } {
-            [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_aaa" * ]
+            [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_lifts" "aaa_aaa" * ]
          }
         ]
         [ { "parameters" * } {