update in basic_2

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

diff --git a/helm/www/lambdadelta/web/home/basic_2_src.tbl b/helm/www/lambdadelta/web/home/basic_2_src.tbl
index 40f6944e7af77beb191de18ca2bc972c1e454aae..d7415b51cd7605b3d835a70f0c98979521fb8f94 100644 (file)
--- a/helm/www/lambdadelta/web/home/basic_2_src.tbl
+++ b/helm/www/lambdadelta/web/home/basic_2_src.tbl
@@ -40,7 +40,7 @@ table {
         ]
 *)
         [ { "stratified native validity" * } {
-             [ "snv ( ⦃?,?⦄ ⊩ ? :[?] )" "snv_lift" + "snv_ltpss_dx" + "snv_ltpss_sn" + "snv_aaa" + "snv_ssta" + "snv_ltpr_ssta" + "snv_ltpr" + "snv_cpcs" * ]
+             [ "snv ( ⦃?,?⦄ ⊩ ? :[?] )" "snv_lift" + "snv_ltpss_dx" + "snv_ltpss_sn" + "snv_aaa" + "snv_ssta" + "snv_sstas" + "snv_ssta_ltpr" + "snv_ltpr" + "snv_cpcs" * ]
           }
         ]
      }