X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2_src.tbl;fp=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2_src.tbl;h=5881202bf04efd9a6e7a7fdb3d9012cbd6364de0;hb=09f1f9fce2c91552dbb218276560d28ddc5f7a70;hp=82451e82f4899dabd6c155328507da2c25422c36;hpb=b33a11c031f1519628b0f90dc20df7e0507d5723;p=helm.git

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 82451e82f..5881202bf 100644
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -9,6 +9,7 @@ table {
         ]
      }
    ]
+(*
    class "wine"
    [ { "examples" * } {
         [ { "" * } {
@@ -37,6 +38,7 @@ table {
         ]
      }
    ]
+*)
    class "blue"
    [ { "equivalence" * } {
         [ { "context-sensitive equivalence" * } {
@@ -109,16 +111,16 @@ table {
    ]
    class "green"
    [ { "unwind" * } {
-        [ { "" * } {
-	     [ "" * ]
-	  }
-        ]
+        [ { "stratified unwind" * } {
+	     [ "sstas ( ⦃?,?⦄ ⊢ ? •*[?] ? )" "sstas_lift" "sstas_ltpss" "sstas_sstas" * ]
+          }
+	]
      }
    ]
    class "grass"
    [ { "static typing" * } {
-        [ { "static type assignment" * } {
-	     [ "sta ( ⦃?,?⦄ ⊢ ? • ? )" "sta_lift" "sta_ltpss" "sta_sta" * ]
+        [ { "stratified static type assignment" * } {
+	     [ "ssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )" "ssta_lift" "ssta_ltpss" "ssta_ssta" * ]
           }
 	]
         [ { "local env. ref. for atomic arity assignment" * } {
@@ -130,7 +132,7 @@ table {
 	  }
         ]
         [ { "parameters" * } {
-             [ "sh" * ]
+             [ "sh" "sd" * ]
           }
         ]
      }