update in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 1e48bd7da456a9db48b94942c8a0d969dc3babe0..0634519d01b7747375b141a5567449d7aab9b15e 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:38 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:36 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index a6435234d6a1e34b0749f9fbfae6779dc9a145af..580dfeb4a02f2d0d7e2831c1c832b76eca16879e 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:39 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:37 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 1dc6f50a06386c15bee300e6f5eb7a1a87824a0d..25b338a1f0b369c2f3f8a721b9413000ee8b7285 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:38 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:36 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index f1ea20bbf44ced3c4ae6ba905aa8a1b349dd1003..d3cb6f28e0907430e7bc83826eb095517da14506 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">214</td>
+            <td class="snnn right italic cyan">221</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">202530</td>
+            <td class="snnn right italic cyan">212361</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1010247</td>
+            <td class="ssnn right italic cyan">1046022</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">48</td>
+            <td class="snnn right italic green">49</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">675</td>
+            <td class="snnn right italic green">691</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">723</td>
+            <td class="ssnn right italic green">740</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">26</td>
+            <td class="snsn right italic yellow">29</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">46</td>
+            <td class="snsn right italic yellow">61</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">72</td>
+            <td class="sssn right italic yellow">90</td>
           </tr>
         </tbody>
       </table>
@@ -358,6 +358,9 @@
             <td class="snns top capitalize italic gray">component</td>
             <td class="snns top italic gray">plane</td>
             <td class="snns top gray">files</td>
+            <td class="snnn top gray">
+              <br />
+            </td>
             <td class="ssnn top gray">
               <br />
             </td>
@@ -366,14 +369,42 @@
             <td class="snns top capitalize italic cyan">rt-computation</td>
             <td class="snns top italic cyan">uncounted context-sensitive rt-transition</td>
             <td class="snns top cyan">cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )</td>
+            <td class="snnn top cyan">
+              <br />
+            </td>
             <td class="ssnn top cyan">
               <br />
             </td>
           </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="snns top italic cyan">generic reducibility</td>
+            <td class="snns top cyan">lsubc ( ? ⊢ ? ⫃[?] ? )</td>
+            <td class="snnn top cyan">lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba</td>
+            <td class="ssnn top cyan">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">gcp</td>
+            <td class="snnn top cyan">gcp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
+            <td class="ssnn top cyan">gcp_aaa</td>
+          </tr>
           <tr>
             <td class="snns top capitalize italic water">rt-transition</td>
             <td class="snns top italic water">parallel qrst-rtransition</td>
             <td class="snns top water">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
+            <td class="snnn top water">
+              <br />
+            </td>
             <td class="ssnn top water">
               <br />
             </td>
@@ -384,7 +415,10 @@
             </td>
             <td class="snns top italic water">t-bound context-sensitive rt-transition</td>
             <td class="snns top water">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
-            <td class="ssnn top water">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
+            <td class="snnn top water">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -394,7 +428,10 @@
               <br />
             </td>
             <td class="snns top water">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
-            <td class="ssnn top water">cpr_drops</td>
+            <td class="snnn top water">cpr_drops</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -404,7 +441,10 @@
               <br />
             </td>
             <td class="snns top water">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
-            <td class="ssnn top water">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
+            <td class="snnn top water">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -412,7 +452,10 @@
             </td>
             <td class="snns top italic water">uncounted context-sensitive rt-transition</td>
             <td class="snns top water">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
-            <td class="ssnn top water">cnx_simple cnx_drops</td>
+            <td class="snnn top water">cnx_simple cnx_drops</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -422,7 +465,10 @@
               <br />
             </td>
             <td class="snns top water">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
-            <td class="ssnn top water">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa</td>
+            <td class="snnn top water">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -432,7 +478,10 @@
               <br />
             </td>
             <td class="snns top water">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
-            <td class="ssnn top water">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq</td>
+            <td class="snnn top water">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -440,13 +489,19 @@
             </td>
             <td class="snns top italic water">counted context-sensitive rt-transition</td>
             <td class="snns top water">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
-            <td class="ssnn top water">cpg_simple cpg_drops cpg_lsubr</td>
+            <td class="snnn top water">cpg_simple cpg_drops cpg_lsubr</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns top capitalize italic green">static typing</td>
             <td class="snns top italic green">atomic arity assignment</td>
             <td class="snns top green">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
-            <td class="ssnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
+            <td class="snnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -456,7 +511,10 @@
               <br />
             </td>
             <td class="snns top green">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
-            <td class="ssnn top green">aaa_drops aaa_fqus aaa_lfdeq aaa_aaa</td>
+            <td class="snnn top green">aaa_drops aaa_fqus aaa_lfdeq aaa_aaa</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -464,7 +522,10 @@
             </td>
             <td class="snns top italic green">degree-based equivalence on referred entries</td>
             <td class="snns top green">ffdeq ( ⦃?,?,?⦄ ≡[?,?] ⦃?,?,?⦄ )</td>
-            <td class="ssnn top green">ffdeq_fqup ffdeq_ffdeq</td>
+            <td class="snnn top green">ffdeq_fqup ffdeq_ffdeq</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -474,7 +535,10 @@
               <br />
             </td>
             <td class="snns top green">lfdeq ( ? ≡[?,?,?] ? )</td>
-            <td class="ssnn top green">lfdeq_length lfdeq_fqup lfdeq_lfdeq</td>
+            <td class="snnn top green">lfdeq_length lfdeq_fqup lfdeq_lfdeq</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -482,7 +546,10 @@
             </td>
             <td class="snns top italic green">generic extension on referred entries</td>
             <td class="snns top green">lfxs ( ? ⦻*[?,?] ? )</td>
-            <td class="ssnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
+            <td class="snnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -490,7 +557,10 @@
             </td>
             <td class="snns top italic green">context-sensitive free variables</td>
             <td class="snns top green">lsubf ( ⦃?,?⦄ ⫃𝐅* ⦃?,?⦄ )</td>
-            <td class="ssnn top green">lsubf_frees</td>
+            <td class="snnn top green">lsubf_frees</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -500,7 +570,10 @@
               <br />
             </td>
             <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
-            <td class="ssnn top green">frees_weight frees_drops frees_fqup frees_frees</td>
+            <td class="snnn top green">frees_weight frees_drops frees_fqup frees_frees</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -508,13 +581,19 @@
             </td>
             <td class="snns top italic green">restricted ref. for local env.</td>
             <td class="snns top green">lsubr ( ? ⫃ ? )</td>
-            <td class="ssnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
+            <td class="snnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
+            <td class="ssnn top green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns top capitalize italic grass">s-computation</td>
             <td class="snns top italic grass">iterated structural successor for closures</td>
             <td class="snns top grass">fqus ( ⦃?,?,?⦄ ⊐* ⦃?,?,?⦄ )</td>
-            <td class="ssnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
+            <td class="snnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
+            <td class="ssnn top grass">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic grass">
@@ -524,13 +603,19 @@
               <br />
             </td>
             <td class="snns top grass">fqup ( ⦃?,?,?⦄ ⊐+ ⦃?,?,?⦄ )</td>
-            <td class="ssnn top grass">fqup_weight fqup_drops fqup_fqup</td>
+            <td class="snnn top grass">fqup_weight fqup_drops fqup_fqup</td>
+            <td class="ssnn top grass">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns top capitalize italic yellow">s-transition</td>
             <td class="snns top italic yellow">structural successor for closures</td>
             <td class="snns top yellow">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
-            <td class="ssnn top yellow">fquq_length fquq_weight</td>
+            <td class="snnn top yellow">fquq_length fquq_weight</td>
+            <td class="ssnn top yellow">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic yellow">
@@ -540,12 +625,18 @@
               <br />
             </td>
             <td class="snns top yellow">fqu ( ⦃?,?,?⦄ ⊐ ⦃?,?,?⦄ )</td>
-            <td class="ssnn top yellow">fqu_length fqu_weight</td>
+            <td class="snnn top yellow">fqu_length fqu_weight</td>
+            <td class="ssnn top yellow">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns top capitalize italic orange">relocation</td>
             <td class="snns top italic orange">generic slicing for local environments</td>
             <td class="snns top orange">drops_vector ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )</td>
+            <td class="snnn top orange">
+              <br />
+            </td>
             <td class="ssnn top orange">
               <br />
             </td>
@@ -558,7 +649,10 @@
               <br />
             </td>
             <td class="snns top orange">drops ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )</td>
-            <td class="ssnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
+            <td class="snnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -566,7 +660,10 @@
             </td>
             <td class="snns top italic orange">generic relocation for terms</td>
             <td class="snns top orange">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
-            <td class="ssnn top orange">lifts_lifts_vector</td>
+            <td class="snnn top orange">lifts_lifts_vector</td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -576,7 +673,10 @@
               <br />
             </td>
             <td class="snns top orange">lifts ( ⬆*[?] ? ≡ ? )</td>
-            <td class="ssnn top orange">lifts_simple lifts_weight lifts_tdeq lifts_lifts</td>
+            <td class="snnn top orange">lifts_simple lifts_weight lifts_tdeq lifts_lifts</td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -584,7 +684,10 @@
             </td>
             <td class="snns top italic orange">ranged equivalence for local environments</td>
             <td class="snns top orange">lreq ( ? ≡[?] ? )</td>
-            <td class="ssnn top orange">lreq_length lreq_lreq</td>
+            <td class="snnn top orange">lreq_length lreq_lreq</td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -592,13 +695,19 @@
             </td>
             <td class="snns top italic orange">generic entrywise extension</td>
             <td class="snns top orange">lexs ( ? ⦻*[?,?,?] ? )</td>
-            <td class="ssnn top orange">lexs_length lexs_lexs</td>
+            <td class="snnn top orange">lexs_length lexs_lexs</td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns top capitalize italic red">syntax</td>
             <td class="snns top italic red">append for local environments</td>
             <td class="snns top red">append ( ? @@ ? )</td>
-            <td class="ssnn top red">append_length</td>
+            <td class="snnn top red">append_length</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -606,7 +715,10 @@
             </td>
             <td class="snns top italic red">degree-based equivalence for terms</td>
             <td class="snns top red">deq ( ? ≡[?,?] ? ) </td>
-            <td class="ssnn top red">deq_deq</td>
+            <td class="snnn top red">deq_deq</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -614,7 +726,10 @@
             </td>
             <td class="snns top italic red">same top term structure</td>
             <td class="snns top red">tsts ( ? ≂ ? )</td>
-            <td class="ssnn top red">tsts_tsts tsts_vector</td>
+            <td class="snnn top red">tsts_tsts tsts_vector</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -622,6 +737,9 @@
             </td>
             <td class="snns top italic red">closures</td>
             <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -634,6 +752,9 @@
               <br />
             </td>
             <td class="snns top red">cl_restricted_weight ( ♯{?,?} )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -644,6 +765,9 @@
             </td>
             <td class="snns top italic red">global environments</td>
             <td class="snns top red">genv</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -654,6 +778,9 @@
             </td>
             <td class="snns top italic red">local environments</td>
             <td class="snns top red">lenv_length ( |?| )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -666,6 +793,9 @@
               <br />
             </td>
             <td class="snns top red">lenv_weight ( ♯{?} )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -678,6 +808,9 @@
               <br />
             </td>
             <td class="snns top red">lenv</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -688,6 +821,9 @@
             </td>
             <td class="snns top italic red">terms</td>
             <td class="snns top red">term_vector ( Ⓐ?.? )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -700,6 +836,9 @@
               <br />
             </td>
             <td class="snns top red">term_simple ( 𝐒⦃?⦄ )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -712,6 +851,9 @@
               <br />
             </td>
             <td class="snns top red">term_weight ( ♯{?} )</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -724,6 +866,9 @@
               <br />
             </td>
             <td class="snns top red">term</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -734,6 +879,9 @@
             </td>
             <td class="snns top italic red">items</td>
             <td class="snns top red">item_sd</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -746,6 +894,9 @@
               <br />
             </td>
             <td class="snns top red">item_sh</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -758,6 +909,9 @@
               <br />
             </td>
             <td class="snns top red">item</td>
+            <td class="snnn top red">
+              <br />
+            </td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -768,6 +922,9 @@
             </td>
             <td class="snss top italic red">atomic arities</td>
             <td class="snss top red">aarity</td>
+            <td class="snsn top red">
+              <br />
+            </td>
             <td class="sssn top red">
               <br />
             </td>
@@ -801,6 +958,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:37 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 10cc0e4381d1579ee0b0e4160000deb628c335f7..943e8f3bfecd13583ac68d857c1c911931306f3a 100644 (file)
--- a/helm/www/lambdadelta/core.html
+++ b/helm/www/lambdadelta/core.html
@@ -7116,6 +7116,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:39 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:37 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index f711e521b9309b2495b6fce850d6ad44a98d4934..cfa5da4645327dc0d6a8bbdaddeab550e65435d5 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -401,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:36 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:34 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index b20e79223e29359a3b44718804878cfdd705303c..262fa33a4e58a9e0089a54ebf1758a2519e13955 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:38 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:36 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index d90a18687f690c69518e77ce95e0df629574c502..fc97ab85d8e055976e7e2ff149bed2df440dd8a4 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -819,6 +819,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:39 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:37 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index 8312b1587290fa3142b610bdd1887a4cc8d4ee21..bcc7d8f5aa1c39b72f00b670aa60f92a9e22c615 100644 (file)
--- a/helm/www/lambdadelta/home.html
+++ b/helm/www/lambdadelta/home.html
@@ -290,6 +290,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:36 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:34 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index da0010691614ff0e2c6ec637a2d4588b5a18e09f..20c5d424abb262362e6249e245abc694b4ec04c6 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -302,6 +302,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:37 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:35 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index d79757c9ff58d3a67e044ab2094a244cc1c3e040..ed7d914902cafa82a69ad7cdf76e3030e22ad60f 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:36 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:34 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 0406ae14e7966bbf067cde51793c857476c922dd..19f26c850ee4ae481e461616f0821dda3e6febb2 100644 (file)
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -197,6 +197,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:37 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:35 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index f0a1ea4f9ded449eb3b107d1618f9a01bb9db69d..50e64b634e4d4952f1627f499cba2e2dac707877 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Feb 2017 12:23:37 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 19 Feb 2017 16:24:35 +0100</div>
   </body>
 </html>