X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fbasic_2_src.tbl;h=40f6944e7af77beb191de18ca2bc972c1e454aae;hb=7f885dcfbce72106781ce41a7d957b7602096396;hp=12f91aff4518b7e6ca3317e25b1054b463dcf17b;hpb=514f515ecb8765c68720e880460c2457898d74dc;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/basic_2_src.tbl b/helm/www/lambdadelta/web/home/basic_2_src.tbl
index 12f91aff4..40f6944e7 100644
--- 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_cpr_ssta" + "snv_cpr" + "snv_dxprs" * ]
+             [ "snv ( ⦃?,?⦄ ⊩ ? :[?] )" "snv_lift" + "snv_ltpss_dx" + "snv_ltpss_sn" + "snv_aaa" + "snv_ssta" + "snv_ltpr_ssta" + "snv_ltpr" + "snv_cpcs" * ]
           }
         ]
      }