From acc8b104721a11f2ebf328c13f4b245b03003c87 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 28 Sep 2012 20:48:41 +0000 Subject: [PATCH] additions to basic_2 --- helm/www/lambda_delta/web/home/basic_2_src.tbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 853fd88df..4584f08f2 100644 --- a/helm/www/lambda_delta/web/home/basic_2_src.tbl +++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl @@ -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" * } { -- 2.39.2