From 63c047cae0056da7a69cb0740336d12259fbeb1a Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 14 Jun 2014 20:18:38 +0000 Subject: [PATCH] update in basic_2 ... --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_2.html | 50 +++++++++++++++--------------- helm/www/lambdadelta/ground_2.html | 2 +- 4 files changed, 28 insertions(+), 28 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 96dbfa8d9..57a380178 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Tue, 10 Jun 2014 20:49:52 +0200
+
Last update: Sat, 14 Jun 2014 22:17:34 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 0a40640db..299451170 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Tue, 10 Jun 2014 20:49:53 +0200
+
Last update: Sat, 14 Jun 2014 22:17:35 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 7e10a8194..c1357bb4f 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -60,9 +60,9 @@ files 361 characters - 651629 + 651753 nodes - 1822451 + 1819305 propositions @@ -236,7 +236,7 @@ dynamic typing local env. ref. for stratified native validity lsubsv ( ? ⊢ ? ¡⫃[?,?] ? ) - lsubsv_ldrop lsubsv_lsubd lsubsv_lsuba lsubsv_lsstas lsubsv_cpds lsubsv_cpcs lsubsv_snv + lsubsv_lsubd lsubsv_lsuba lsubsv_lstas lsubsv_cpds lsubsv_cpcs lsubsv_snv
@@ -250,7 +250,7 @@ stratified native validity snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] ) - snv_lift snv_da_lpr snv_aaa snv_lsstas snv_lsstas_lpr snv_lpr snv_cpcs snv_preserve + snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_cpcs snv_preserve
@@ -725,18 +725,18 @@
iterated static type assignment - lsstas ( ⦃?,?⦄ ⊢ ? •*[?,?,?] ? ) - lsstas_alt ( ⦃?,?⦄ ⊢ ? ••*[?,?,?] ? ) - lsstas_lift lsstas_aaa lsstas_lsstas + lstas ( ⦃?,?⦄ ⊢ ? •*[?,?,?] ? ) + lstas_alt ( ⦃?,?⦄ ⊢ ? ••*[?,?,?] ? ) + lstas_lift lstas_aaa lstas_da lstas_lstas
static typing - local env. ref. for atomic arity assignment - lsuba ( ? ⊢ ? ⁝⫃ ? ) - lsuba_ldrop lsuba_aaa lsuba_lsuba + local env. ref. for degree assignment + lsubd ( ? ⊢ ? ▪⫃ ? ) + lsubd_da lsubd_lsubd
@@ -748,9 +748,9 @@
- atomic arity assignment - aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? ) - aaa_lift aaa_lifts aaa_fqus aaa_lleq aaa_da aaa_ssta aaa_aaa + degree assignment + da ( ⦃?,?⦄ ⊢ ? ▪[?,?] ? ) + da_lift da_aaa da_sta da_da
@@ -763,8 +763,8 @@
stratified static type assignment - ssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? ) - ssta_lift ssta_lpx_sn ssta_ssta + sta ( ⦃?,?⦄ ⊢ ? •[?,?] ? ) + sta_lift sta_lpx_sn sta_aaa sta_sta
@@ -776,9 +776,9 @@
- local env. ref. for degree assignment - lsubd ( ? ⊢ ? ▪⫃ ? ) - lsubd_da lsubd_lsubd + parameters + sh + sd
@@ -790,9 +790,9 @@
- degree assignment - da ( ⦃?,?⦄ ⊢ ? ▪[?,?] ? ) - da_lift da_da + local env. ref. for atomic arity assignment + lsuba ( ? ⊢ ? ⁝⫃ ? ) + lsuba_aaa lsuba_lsuba
@@ -804,9 +804,9 @@
- parameters - sh - sd + atomic arity assignment + aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? ) + aaa_lift aaa_lifts aaa_fqus aaa_lleq aaa_aaa
@@ -1272,6 +1272,6 @@

-
Last update: Tue, 10 Jun 2014 20:49:53 +0200
+
Last update: Sat, 14 Jun 2014 22:17:35 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index ec3d58530..685bd8431 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@

-
Last update: Tue, 10 Jun 2014 20:49:52 +0200
+
Last update: Sat, 14 Jun 2014 22:17:35 +0200
-- 2.39.2