additions to Basic_2

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

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2_src.tbl b/helm/www/lambda_delta/web/home/ld_basic_2_src.tbl
index 947526a2d7dfe5b42462e10c6355beea8d5e1140..6918cceda8603e71cf926d8d77be9aaf4491deed 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/ld_basic_2_src.tbl
@@ -49,7 +49,7 @@ table {
    [ { "computation" * } {
         [ { "strongly normalizing computation" * } {
             [ "csn_cr" "csn_aaa" * ]
-            [ "csn ( ⬇* ? )" "csn_cprs ( ⬇** ? )" "csn_lift" "csn_lcpr" * ]
+            [ "csn ( ⬇* ? )" "csn_lift" "csn_cpr" "csn_cprs ( ⬇** ? )" "csn_lcpr" * ]
          }
         ]
         [ { "context-sensitive computation" * } {