From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 6 Aug 2014 18:53:07 +0000 (+0000)
Subject: update in basic_2 ...
X-Git-Tag: make_still_working~860
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=25a789c7374bff86f42673e330b8b435fa3b7d68;p=helm.git

update in basic_2 ...
---

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 19f42b340..f60e245c4 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 530529624..96254d846 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -191,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 7b6bf13cf..10a18c27f 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -60,18 +60,18 @@
             <td class="snns plane cyan">files</td>
             <td class="snnn number cyan">367</td>
             <td class="snns plane cyan">characters</td>
-            <td class="snnn number cyan">431873</td>
+            <td class="snnn number cyan">432045</td>
             <td class="snns plane cyan">nodes</td>
-            <td class="ssnn number cyan">1830977</td>
+            <td class="ssnn number cyan">1831215</td>
           </tr>
           <tr>
             <td class="snns component green">propositions</td>
             <td class="snns plane green">theorems</td>
             <td class="snnn number green">128</td>
             <td class="snns plane green">lemmas</td>
-            <td class="snnn number green">1302</td>
+            <td class="snnn number green">1303</td>
             <td class="snns plane green">total</td>
-            <td class="ssnn number green">1430</td>
+            <td class="ssnn number green">1431</td>
           </tr>
           <tr>
             <td class="snss component yellow">concepts</td>
@@ -264,7 +264,7 @@
             <td class="snns component prune">dynamic typing</td>
             <td class="snns plane prune">local env. ref. for stratified native validity</td>
             <td class="snns file prune">lsubsv ( ? ⊢ ? ⫃¡[?,?] ? )</td>
-            <td class="snnn file prune">lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_cpds lsubsv_cpcs lsubsv_snv</td>
+            <td class="snnn file prune">lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_scpds lsubsv_cpcs lsubsv_snv</td>
             <td class="snnn file prune">
               <br />
             </td>
@@ -277,8 +277,8 @@
               <br />
             </td>
             <td class="snns plane prune">stratified native validity</td>
-            <td class="snns file prune">hsnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )</td>
-            <td class="snnn file prune">hsnv_aaa</td>
+            <td class="snns file prune">shnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )</td>
+            <td class="snnn file prune">shnv_aaa</td>
             <td class="snnn file prune">
               <br />
             </td>
@@ -294,7 +294,7 @@
               <br />
             </td>
             <td class="snns file prune">snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )</td>
-            <td class="snnn file prune">snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_cpes snv_preserve</td>
+            <td class="snnn file prune">snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_scpes snv_preserve</td>
             <td class="snnn file prune">
               <br />
             </td>
@@ -305,8 +305,8 @@
           <tr>
             <td class="snns component blue">equivalence</td>
             <td class="snns plane blue">decomposed extended equivalence</td>
-            <td class="snns file blue">cpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
-            <td class="snnn file blue">cpes_aaa cpes_cpcs cpes_cpes</td>
+            <td class="snns file blue">scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
+            <td class="snnn file blue">scpes_aaa scpes_cpcs scpes_scpes</td>
             <td class="snnn file blue">
               <br />
             </td>
@@ -501,8 +501,8 @@
               <br />
             </td>
             <td class="snns plane cyan">decomposed extended computation</td>
-            <td class="snns file cyan">cpds ( ⦃?,?⦄ ⊢ ? •*➡*[?,?,?] ? )</td>
-            <td class="snnn file cyan">cpds_lift cpds_aaa cpds_cpds</td>
+            <td class="snns file cyan">scpds ( ⦃?,?⦄ ⊢ ? •*➡*[?,?,?] ? )</td>
+            <td class="snnn file cyan">scpds_lift scpds_aaa scpds_scpds</td>
             <td class="snnn file cyan">
               <br />
             </td>
@@ -1246,7 +1246,7 @@
             <td class="snns file red">term</td>
             <td class="snnn file red">term_weight ( ♯{?} )</td>
             <td class="snnn file red">term_simple ( 𝐒⦃?⦄ )</td>
-            <td class="ssnn file red">term_vector</td>
+            <td class="ssnn file red">term_vector ( Ⓐ?.? )</td>
           </tr>
           <tr>
             <td class="nnns component red">
@@ -1316,6 +1316,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index bc53a2b27..c4fd0e37f 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -333,6 +333,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz
index 9c43092a4..92c594dfc 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz and b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz differ
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index b1d1dc18b..fbbf1bc61 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -234,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 8eacf7930..5d255e3fe 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -263,6 +263,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 9bd1b957e..791c7fbb2 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -135,6 +135,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index bd9bdabf7..f6c7dee91 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -303,6 +303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:28 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index 4a107c7c4..ea0501e2a 100644
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -167,6 +167,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index 63e5d7506..e8b2cd74a 100644
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -131,6 +131,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 05 Aug 2014 23:07:40 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 06 Aug 2014 20:50:29 +0200</div>
 </body>
 </html>