update in basic_2 ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 19f42b340973fcb5614c7e04bf350e597d8901f7..f60e245c4c361135d9871fea3e991565c79052bb 100644 (file)
--- 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 5305296246f7af7976c31018e7e962a88ea246fb..96254d846dd3bd9ced1f469ed2dd8d2e7f9516e2 100644 (file)
--- 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 7b6bf13cff9c472e442aaf8daf16ad2a60656d38..10a18c27f188476b31e2be0f08ae638f8f5e0c36 100644 (file)
--- 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 bc53a2b274a9dd7e53c951ddd9ddb187aa1ae427..c4fd0e37fa559d08bbf88b723cd6abb23d834ed3 100644 (file)
--- 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 9c43092a4e9ed025e5c4bd7e945c95d91244778f..92c594dfcc6472d3bc2174f7a033f5bf5f9d8804 100644 (file)
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 b1d1dc18bf63fee70609e01c9008a4d67ec5924b..fbbf1bc61901ce68d87ccbdb3e7ef2faf0249dd5 100644 (file)
--- 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 8eacf793043ca51af839ac6d8e0b6e3b55c41090..5d255e3fe8ff6ec47af66c0dff727f49530eed5f 100644 (file)
--- 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 9bd1b957e90e6fecdb140b09cec47de2be87ec58..791c7fbb2b66b8fb6f5b9d239e7a7c3445458e63 100644 (file)
--- 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 bd9bdabf79d5e340a01770470de9869f6ed76aaf..f6c7dee9116001f34ae24f42c1be152ea6880a4a 100644 (file)
--- 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 4a107c7c4d3efc6a93c5de6b20f305d29be9a7c1..ea0501e2abede9699f492c34d9254e2fb19dc8d3 100644 (file)
--- 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 63e5d7506401790f5fabc82b6136e24a51d3fa62..e8b2cd74a7821a1687284c3c9c9cbbfa7b244281 100644 (file)
--- 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>