update in basic_2 ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 513db1fe9a8e2ab2fe6405e6b4774f6ce60714d8..0097a0f7564168a95d05ca1b8b77113d5b8f079e 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index d3b26812c83c65f748cabfd9ec3e6a5cbd48c383..71b03235ca820da54eb6fd1082a397d52dcf5789 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 549483fbe722d0502a4a4dba73d6d7b67de5f052..b2b091d0333c7526e1ec459f3452492c0f7cc01f 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index a281ef3ab90034290ee427fe076111d3e4972711..b2954f5e726dbcffa8762384a8698bb753092c48 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">177</td>
+            <td class="snnn right italic cyan">178</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">181483</td>
+            <td class="snnn right italic cyan">183178</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">952913</td>
+            <td class="ssnn right italic cyan">957953</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">49</td>
+            <td class="snnn right italic green">48</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">633</td>
+            <td class="snnn right italic green">630</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">682</td>
+            <td class="ssnn right italic green">678</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">24</td>
+            <td class="snsn right italic yellow">25</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">42</td>
+            <td class="snsn right italic yellow">43</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">66</td>
+            <td class="sssn right italic yellow">68</td>
           </tr>
         </tbody>
       </table>
@@ -358,12 +358,6 @@
             <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="snnn top gray">
-              <br />
-            </td>
             <td class="ssnn top gray">
               <br />
             </td>
@@ -372,13 +366,7 @@
             <td class="snns top capitalize italic water">rt-transition</td>
             <td class="snns top italic water">t-bound context-sensitive rt-transition</td>
             <td class="snns top water">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
-            <td class="snnn top water">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -388,13 +376,7 @@
               <br />
             </td>
             <td class="snns top water">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
-            <td class="snnn top water">cpr_drops</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">cpr_drops</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -404,13 +386,7 @@
               <br />
             </td>
             <td class="snns top water">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
-            <td class="snnn top water">cpm_simple cpm_drops cpm_lsubr cpm_cpx</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">cpm_simple cpm_drops cpm_lsubr cpm_cpx</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -418,13 +394,7 @@
             </td>
             <td class="snns top italic water">uncounted context-sensitive rt-transition</td>
             <td class="snns top water">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
-            <td class="snnn top water">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -434,13 +404,7 @@
               <br />
             </td>
             <td class="snns top water">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
-            <td class="snnn top water">cpx_simple cpx_drops cpx_lsubr</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">cpx_simple cpx_drops cpx_lsubr</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -448,39 +412,13 @@
             </td>
             <td class="snns top italic water">counted context-sensitive rt-transition</td>
             <td class="snns top water">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
-            <td class="snnn top water">cpg_simple cpg_drops cpg_lsubr</td>
-            <td class="snnn top water">
-              <br />
-            </td>
-            <td class="ssnn top water">
-              <br />
-            </td>
+            <td class="ssnn top water">cpg_simple cpg_drops cpg_lsubr</td>
           </tr>
           <tr>
             <td class="snns top capitalize italic green">static typing</td>
-            <td class="snns top italic green">parameters</td>
-            <td class="snns top green">sh</td>
-            <td class="snnn top green">sd</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
-          </tr>
-          <tr>
-            <td class="nnns top capitalize italic green">
-              <br />
-            </td>
             <td class="snns top italic green">restricted ref. for atomic arity assignment</td>
             <td class="snns top green">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
-            <td class="snnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -488,13 +426,7 @@
             </td>
             <td class="snns top italic green">atomic arity assignment</td>
             <td class="snns top green">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
-            <td class="snnn top green">aaa_drops aaa_fqus aaa_lfeq aaa_aaa</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">aaa_drops aaa_fqus aaa_lfeq aaa_aaa</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -502,13 +434,7 @@
             </td>
             <td class="snns top italic green">equivalence for closures on referred entries</td>
             <td class="snns top green">ffeq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
-            <td class="snnn top green">ffeq_freq</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">ffeq_freq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -516,13 +442,7 @@
             </td>
             <td class="snns top italic green">equivalence for local environments on referred entries</td>
             <td class="snns top green">lfeq ( ? ≡[?] ? )</td>
-            <td class="snnn top green">lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -530,13 +450,7 @@
             </td>
             <td class="snns top italic green">generic extension on referred entries</td>
             <td class="snns top green">lfxs ( ? ⦻*[?,?] ? )</td>
-            <td class="snnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -544,13 +458,7 @@
             </td>
             <td class="snns top italic green">restricted ref. for context-sensitive free variables</td>
             <td class="snns top green">lsubf ( ⦃?,?⦄ ⫃𝐅* ⦃?,?⦄ )</td>
-            <td class="snnn top green">lsubf_frees</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">lsubf_frees</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -558,13 +466,7 @@
             </td>
             <td class="snns top italic green">context-sensitive free variables</td>
             <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
-            <td class="snnn top green">frees_weight frees_lreq frees_drops frees_fqup frees_frees</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">frees_weight frees_lreq frees_drops frees_fqup frees_frees</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -572,25 +474,13 @@
             </td>
             <td class="snns top italic green">restricted ref. for local env.</td>
             <td class="snns top green">lsubr ( ? ⫃ ? )</td>
-            <td class="snnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
-            <td class="snnn top green">
-              <br />
-            </td>
-            <td class="ssnn top green">
-              <br />
-            </td>
+            <td class="ssnn top green">lsubr_length lsubr_drops lsubr_lsubr</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="snnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
-            <td class="snnn top grass">
-              <br />
-            </td>
-            <td class="ssnn top grass">
-              <br />
-            </td>
+            <td class="ssnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic grass">
@@ -600,25 +490,13 @@
               <br />
             </td>
             <td class="snns top grass">fqup ( ⦃?,?,?⦄ ⊐+ ⦃?,?,?⦄ )</td>
-            <td class="snnn top grass">fqup_weight fqup_drops fqup_fqup</td>
-            <td class="snnn top grass">
-              <br />
-            </td>
-            <td class="ssnn top grass">
-              <br />
-            </td>
+            <td class="ssnn top grass">fqup_weight fqup_drops fqup_fqup</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="snnn top yellow">fquq_length fquq_weight</td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
-            <td class="ssnn top yellow">
-              <br />
-            </td>
+            <td class="ssnn top yellow">fquq_length fquq_weight</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic yellow">
@@ -628,24 +506,12 @@
               <br />
             </td>
             <td class="snns top yellow">fqu ( ⦃?,?,?⦄ ⊐ ⦃?,?,?⦄ )</td>
-            <td class="snnn top yellow">fqu_length fqu_weight</td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
-            <td class="ssnn top yellow">
-              <br />
-            </td>
+            <td class="ssnn top yellow">fqu_length fqu_weight</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="snnn top orange">
-              <br />
-            </td>
             <td class="ssnn top orange">
               <br />
             </td>
@@ -658,13 +524,7 @@
               <br />
             </td>
             <td class="snns top orange">drops ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )</td>
-            <td class="snnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
-            <td class="snnn top orange">
-              <br />
-            </td>
-            <td class="ssnn top orange">
-              <br />
-            </td>
+            <td class="ssnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -672,13 +532,7 @@
             </td>
             <td class="snns top italic orange">generic relocation for terms</td>
             <td class="snns top orange">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
-            <td class="snnn top orange">lifts_lifts_vector</td>
-            <td class="snnn top orange">
-              <br />
-            </td>
-            <td class="ssnn top orange">
-              <br />
-            </td>
+            <td class="ssnn top orange">lifts_lifts_vector</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -688,13 +542,7 @@
               <br />
             </td>
             <td class="snns top orange">lifts ( ⬆*[?] ? ≡ ? )</td>
-            <td class="snnn top orange">lifts_simple lifts_weight lifts_lifts</td>
-            <td class="snnn top orange">
-              <br />
-            </td>
-            <td class="ssnn top orange">
-              <br />
-            </td>
+            <td class="ssnn top orange">lifts_simple lifts_weight lifts_lifts</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -702,36 +550,56 @@
             </td>
             <td class="snns top italic orange">ranged equivalence for local environments</td>
             <td class="snns top orange">lreq ( ? ≡[?] ? )</td>
-            <td class="snnn top orange">lreq_length lreq_lreq</td>
-            <td class="snnn top orange">
+            <td class="ssnn top orange">lreq_length lreq_lreq</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="ssnn top orange">
+            <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>
+          </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>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
               <br />
             </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>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic orange">
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic orange">generic entrywise extension</td>
-            <td class="snns top orange">lexs ( ? ⦻*[?,?,?] ? )</td>
-            <td class="snnn top orange">lexs_length lexs_lexs</td>
-            <td class="snnn top orange">
+            <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>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="ssnn top orange">
+            <td class="snns top italic red">closures</td>
+            <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
+            <td class="ssnn top red">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="snns top capitalize italic red">grammar</td>
-            <td class="snns top italic red">append for local environments</td>
-            <td class="snns top red">append ( ? @@ ? )</td>
-            <td class="snnn top red">append_length</td>
-            <td class="snnn top red">
+            <td class="nnns top capitalize italic red">
+              <br />
+            </td>
+            <td class="nnns top italic red">
               <br />
             </td>
+            <td class="snns top red">cl_restricted_weight ( ♯{?,?} )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -740,12 +608,18 @@
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic red">context-sensitive equivalences for terms</td>
-            <td class="snns top red">ceq</td>
-            <td class="snnn top red">ceq_ceq</td>
-            <td class="snnn top red">
+            <td class="snns top italic red">global environments</td>
+            <td class="snns top red">genv</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
+            <td class="snns top italic red">local environments</td>
+            <td class="snns top red">lenv_length ( |?| )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -754,12 +628,10 @@
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic red">same top term structure</td>
-            <td class="snns top red">tsts ( ? ≂ ? )</td>
-            <td class="snnn top red">tsts_tsts tsts_vector</td>
-            <td class="snnn top red">
+            <td class="nnns top italic red">
               <br />
             </td>
+            <td class="snns top red">lenv_weight ( ♯{?} )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -768,12 +640,10 @@
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic red">closures</td>
-            <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
-            <td class="snnn top red">cl_restricted_weight ( ♯{?,?} )</td>
-            <td class="snnn top red">
+            <td class="nnns top italic red">
               <br />
             </td>
+            <td class="snns top red">lenv</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -782,14 +652,20 @@
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic red">internal syntax</td>
-            <td class="snns top red">genv</td>
-            <td class="snnn top red">
+            <td class="snns top italic red">terms</td>
+            <td class="snns top red">term_vector ( Ⓐ?.? )</td>
+            <td class="ssnn top red">
               <br />
             </td>
-            <td class="snnn top red">
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
+            <td class="nnns top italic red">
+              <br />
+            </td>
+            <td class="snns top red">term_simple ( 𝐒⦃?⦄ )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -801,9 +677,7 @@
             <td class="nnns top italic red">
               <br />
             </td>
-            <td class="snns top red">lenv</td>
-            <td class="snnn top red">lenv_weight ( ♯{?} )</td>
-            <td class="snnn top red">lenv_length ( |?| )</td>
+            <td class="snns top red">term_weight ( ♯{?} )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -816,40 +690,50 @@
               <br />
             </td>
             <td class="snns top red">term</td>
-            <td class="snnn top red">term_weight ( ♯{?} )</td>
-            <td class="snnn top red">term_simple ( 𝐒⦃?⦄ )</td>
-            <td class="ssnn top red">term_vector ( Ⓐ?.? )</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="nnns top italic red">
+            <td class="snns top italic red">items</td>
+            <td class="snns top red">item_sd</td>
+            <td class="ssnn top red">
               <br />
             </td>
-            <td class="snns top red">item</td>
-            <td class="snnn top red">
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snnn top red">
+            <td class="nnns top italic red">
               <br />
             </td>
+            <td class="snns top red">item_sh</td>
             <td class="ssnn top red">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnss top capitalize italic red">
+            <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snss top italic red">external syntax</td>
-            <td class="snss top red">aarity</td>
-            <td class="snsn top red">
+            <td class="nnns top italic red">
               <br />
             </td>
-            <td class="snsn top red">
+            <td class="snns top red">item</td>
+            <td class="ssnn top red">
               <br />
             </td>
+          </tr>
+          <tr>
+            <td class="nnss top capitalize italic red">
+              <br />
+            </td>
+            <td class="snss top italic red">atomic arities</td>
+            <td class="snss top red">aarity</td>
             <td class="sssn top red">
               <br />
             </td>
@@ -883,6 +767,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 33432e4a8784abb25e8f59f77105bb1a7a3e2e5a..4f8e8d475ca8690509ccf30fe2f29152f2e80013 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 944b674c2506fa87a7c75b0f699dba8a7bb8a3f8..517377c5177b7cfc4c3d55c577896ce15bde0aa1 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index f1b34acf33b8d663c31fe22d940a5c37bfccb940..3d6459ecc8aed590a17428ef45a0cf39b9412587 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index e783eabc6b91873b0cd1e6193f381b4c9e0f8708..df7ae7b6a1d2138521cd664c040d4e743edf9bf6 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 648cc31cf3f6f89f856dc66e1338292c940cfd57..8b59dced6110f04a8d40d48383ac150bb05dc156 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index f91ab03804f9be4b6514c1e1c3f6e5c4e3728f31..fe85f24b8e046d0b4c6aa65f1502999c084a2057 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 57f8a9f95adfd9cdd6e5df0c900b3c4880e06330..90284c4a121c09b18eb2a5ce57dc018963673218 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: Sat, 21 Jan 2017 15:35:25 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 400a448148de18277f2d4f27dc3ce5bce48b8497..3a88cfc67a162d0ca5ce433701313cca979174b9 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: Sat, 21 Jan 2017 15:35:26 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 Jan 2017 20:42:51 +0100</div>
   </body>
 </html>