From: Ferruccio Guidi Date: Sat, 28 Jun 2014 18:30:07 +0000 (+0000) Subject: update in basic_2 X-Git-Tag: make_still_working~890 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=22a8894b2c2fd0f38d45d401bfc2dbd097c5ff0e;p=helm.git update in basic_2 --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index a5cccfdeb..b23abc990 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Thu, 19 Jun 2014 15:37:14 +0200
+
Last update: Sat, 28 Jun 2014 20:29:31 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index e6b802473..3bd4980e4 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -78,9 +78,9 @@ files 4 characters - 3928 + 3927 nodes - 3861 + 3637 propositions @@ -191,6 +191,6 @@

-
Last update: Thu, 19 Jun 2014 15:37:14 +0200
+
Last update: Sat, 28 Jun 2014 20:29:31 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 60a48ff5d..8e5745e16 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -60,9 +60,9 @@ files 361 characters - 653633 + 652919 nodes - 1828417 + 1828390 propositions @@ -359,7 +359,7 @@ lsx ( ? ⊢ ⬊*[?,?,?,?] ? ) lsx_alt ( ? ⊢ ⬊⬊*[?,?,?,?] ? ) - lsx_ldrop lsx_lpx lsx_lpxs llsx_csx + lsx_drop lsx_lpx lsx_lpxs llsx_csx
@@ -472,7 +472,7 @@ context-sensitive extended computation lpxs ( ⦃?,?⦄ ⊢ ➡*[?,?] ? ) - lpxs_ldrop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs + lpxs_drop lpxs_lleq lpxs_aaa lpxs_cpxs lpxs_lpxs
@@ -502,7 +502,7 @@ context-sensitive computation lprs ( ⦃?,?⦄ ⊢ ➡* ? ) - lprs_ldrop lprs_cprs lprs_lprs + lprs_drop lprs_cprs lprs_lprs
@@ -532,7 +532,7 @@ local env. ref. for abstract candidates of reducibility lsubc ( ? ⊢ ? ⫃[?] ? ) - lsubc_ldrop lsubc_ldrops lsubc_lsuba + lsubc_drop lsubc_drops lsubc_lsuba
@@ -584,7 +584,7 @@ context-sensitive extended reduction lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? ) - lpx_ldrop lpx_frees + lpx_drop lpx_frees lpx_lleq lpx_aaa
@@ -654,7 +654,7 @@ context-sensitive reduction lpr ( ⦃?,?⦄ ⊢ ➡ ? ) - lpr_ldrop lpr_lpr + lpr_drop lpr_lpr
@@ -848,7 +848,7 @@
lleq ( ? ≡[?,?] ? ) - lleq_alt lleq_alt_rec lleq_leq lleq_ldrop lleq_fqus lleq_llor lleq_lleq + lleq_alt lleq_alt_rec lleq_leq lleq_drop lleq_fqus lleq_llor lleq_lleq
@@ -862,7 +862,7 @@ lazy pointwise extension of a relation llpx_sn - llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_ldrop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor + llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_drop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor
@@ -876,7 +876,7 @@ pointwise union for local environments llor ( ? ⩖[?,?] ? ≡ ? ) - llor_alt llor_ldrop + llor_alt llor_drop
@@ -945,8 +945,8 @@
iterated local env. slicing - ldrops ( ⇩*[?,?] ? ≡ ? ) - ldrops_ldrop ldrops_ldrops + drops ( ⇩*[?,?] ? ≡ ? ) + drops_drop drops_drops
@@ -1072,7 +1072,7 @@ pointwise extension of a relation lpx_sn - lpx_sn_alt lpx_sn_tc lpx_sn_ldrop lpx_sn_lpx_sn + lpx_sn_alt lpx_sn_tc lpx_sn_drop lpx_sn_lpx_sn
@@ -1085,8 +1085,8 @@
basic local env. slicing - ldrop ( ⇩[?,?,?] ? ≡ ? ) - ldrop_append ldrop_leq ldrop_ldrop + drop ( ⇩[?,?,?] ? ≡ ? ) + drop_append drop_leq drop_drop
@@ -1127,7 +1127,7 @@ grammar equivalence for local environments - leq ( ? ≃[?,?] ? ) + leq ( ? ⩬[?,?] ? ) leq_leq
@@ -1141,7 +1141,7 @@
same top term constructor - tstc ( ? ≃ ? ) + tstc ( ? ≂ ? ) tstc_tstc tstc_vector
@@ -1272,6 +1272,6 @@

-
Last update: Thu, 19 Jun 2014 15:37:14 +0200
+
Last update: Sat, 28 Jun 2014 20:29:31 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index da94f410e..765dcea06 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -56,11 +56,11 @@ sizes files - 31 + 29 characters - 76099 + 75199 nodes - 61549 + 61467 propositions @@ -74,11 +74,11 @@ concepts declared - 41 + 40 defined 25 total - 66 + 65 @@ -234,6 +234,6 @@

-
Last update: Thu, 19 Jun 2014 15:37:14 +0200
+
Last update: Sat, 28 Jun 2014 20:29:31 +0200