]> matita.cs.unibo.it Git - helm.git/commitdiff
additions to basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:48:41 +0000 (20:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:48:41 +0000 (20:48 +0000)
helm/www/lambda_delta/web/home/basic_2_src.tbl

index 853fd88df95548759c66ff68b1a667697d70140f..4584f08f2304fb08d888da659e262ee039b30886 100644 (file)
@@ -154,7 +154,7 @@ table {
           }
         ]
         [ { "stratified static type assignment" * } {
-             [ "ssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )" "ssta_lift" "ssta_ltpss" "ssta_aaa" "ssta_ssta" * ]
+             [ "ssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )" "ssta_lift" "ssta_ltpss_dx" "ssta_ltpss_sn" "ssta_aaa" "ssta_ssta" * ]
           }
         ]
         [ { "local env. ref. for atomic arity assignment" * } {
@@ -162,7 +162,7 @@ table {
           }
         ]
         [ { "atomic arity assignment" * } {
-             [ "aaa ( ? ⊢ ? ⁝ ? )" "aaa_lift" "aaa_lifts" "aaa_ltpss" "aaa_aaa" * ]
+             [ "aaa ( ? ⊢ ? ⁝ ? )" "aaa_lift" "aaa_lifts" "aaa_ltpss_dx" "aaa_ltpss_sn" "aaa_aaa" * ]
           }
         ]
         [ { "parameters" * } {