updated bibliography

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 203d3f727051d12aae6d823d49f9389c2f07584a..00142e24a9ca5a2b1da1d5f4548c9a6bd462a72d 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: Fri, 07 Aug 2015 14:21:48 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 32355bdc008630dcbd29372aebabe203619076c9..a61fd00ddff5fcfbb5cc0fb58c0132423c6e3ae0 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -152,29 +152,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">14</td>
+            <td class="snnn right italic cyan">4</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">6787</td>
+            <td class="snnn right italic cyan">68581</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">10070</td>
+            <td class="ssnn right italic cyan">3637</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">2</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">4</td>
+            <td class="snnn right italic green">1</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">6</td>
+            <td class="ssnn right italic green">3</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">6</td>
+            <td class="snsn right italic yellow">3</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">11</td>
+            <td class="snsn right italic yellow">9</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">17</td>
+            <td class="sssn right italic yellow">12</td>
           </tr>
         </tbody>
       </table>
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 37ed9a89bc70510b672177b2ad00180568e1ac13..70bedf6d5d4761a0e3d63933b42a82181091b7bd 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -102,7 +102,7 @@
         </tbody>
       </table>
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="blocks">Abstract Syntax and Behavior <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">This is a summary of available syntactic items and reductions (block structure).
    </div>
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3e8e2787aa8b70b8c7ff89d4f8e2eacf3be86c8b..e1e8448af4e74e60b2ba048f7cfdc6a484f2b5bf 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -146,18 +146,18 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">360</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">433402</td>
+            <td class="snnn right italic cyan">437272</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1874778</td>
+            <td class="ssnn right italic cyan">1935835</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">130</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">1286</td>
+            <td class="snnn right italic green">1303</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">1416</td>
+            <td class="ssnn right italic green">1433</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
@@ -1384,6 +1384,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 42f7fbe4235c34ba324d1245db591b45d7a6b847..61c482d6f2da23a4aaed5e245036775c19c0e10f 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -147,7 +147,7 @@
             <td class="snns top" id="ldJ2a">
               <span class="emph alpha">J2a.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised, Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Submitted to ACM ToCL. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v2] (revised <span class="emph gamma">2015-03</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised, Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Preprint. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v2] (revised <span class="emph gamma">2015-03</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnns top" />
@@ -389,6 +389,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:24:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:06 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index fddba10154434b774df02e4e68136b82764bb384..b2292da82df76cee5a32d3d9f1653d0cdbb78d88 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -5,7 +5,7 @@
    title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}",
    year="2015",
    month="August",
-   note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
+   note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)"
 }
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -16,7 +16,7 @@
    howpublished="CoRR identifier 1411.0154",
    year="2014",
    month="November",
-   note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)"
+   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
 }
 
 @misc{lambdadeltaV2,
@@ -25,7 +25,7 @@
    howpublished="Formal specification for the proof assistant Matita 0.99.2",
    year="2014",
    month="October",
-   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
 }
 
 @incollection{lambdadeltaR2b,
@@ -106,5 +106,5 @@
    howpublished="Formal specification for the proof assistant Coq 7.3.1",
    year="2006",
    month="November",
-   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
 }

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index fddba10154434b774df02e4e68136b82764bb384..b2292da82df76cee5a32d3d9f1653d0cdbb78d88 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -5,7 +5,7 @@
    title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}",
    year="2015",
    month="August",
-   note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)"
+   note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)"
 }
 
 % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -16,7 +16,7 @@
    howpublished="CoRR identifier 1411.0154",
    year="2014",
    month="November",
-   note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)"
+   note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)"
 }
 
 @misc{lambdadeltaV2,
@@ -25,7 +25,7 @@
    howpublished="Formal specification for the proof assistant Matita 0.99.2",
    year="2014",
    month="October",
-   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
 }
 
 @incollection{lambdadeltaR2b,
@@ -106,5 +106,5 @@
    howpublished="Formal specification for the proof assistant Coq 7.3.1",
    year="2006",
    month="November",
-   note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
+   note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$"
 }

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 284bfae7c2e72496ca7fe725e96c33a56df7404e..9f992e582347beac63e083b7266e51a49bd80fb9 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -275,6 +275,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 7e44d22e70b875cc07855b731a4e90da1190c0ca..447c93aea519911c16a1dc2bcf047b7c69e17b04 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -132,29 +132,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">30</td>
+            <td class="snnn right italic cyan">27</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">46649</td>
+            <td class="snnn right italic cyan">48334</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">62380</td>
+            <td class="ssnn right italic cyan">67588</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">2</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">187</td>
+            <td class="snnn right italic green">201</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">189</td>
+            <td class="ssnn right italic green">203</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
             <td class="snsn right italic yellow">40</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">25</td>
+            <td class="snsn right italic yellow">24</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">65</td>
+            <td class="sssn right italic yellow">64</td>
           </tr>
         </tbody>
       </table>
@@ -194,15 +194,6 @@
             <td class="snnn top gray">
               <br />
             </td>
-            <td class="snnn top gray">
-              <br />
-            </td>
-            <td class="snnn top gray">
-              <br />
-            </td>
-            <td class="snnn top gray">
-              <br />
-            </td>
             <td class="ssnn top gray">
               <br />
             </td>
@@ -215,10 +206,7 @@
             <td class="snnn top grass">ynat_succ ( ⫯? )</td>
             <td class="snnn top grass">ynat_le ( ? ≤ ? )</td>
             <td class="snnn top grass">ynat_lt ( ? &lt; ? )</td>
-            <td class="snnn top grass">ynat_minus ( ? - ? )</td>
-            <td class="snnn top grass">ynat_plus ( ? + ? )</td>
-            <td class="snnn top grass">ynat_max</td>
-            <td class="ssnn top grass">ynat_min</td>
+            <td class="ssnn top grass">ynat_plus ( ? + ? )</td>
           </tr>
           <tr>
             <td class="snns top capitalize italic yellow">extensions to the library</td>
@@ -228,15 +216,6 @@
             <td class="snnn top yellow">bool ( Ⓕ ) ( Ⓣ )</td>
             <td class="snnn top yellow">arith ( ?^? )</td>
             <td class="snnn top yellow">list ( ◊ ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )</td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
             <td class="ssnn top yellow">
               <br />
             </td>
@@ -255,15 +234,6 @@
             <td class="snnn top orange">
               <br />
             </td>
-            <td class="snnn top orange">
-              <br />
-            </td>
-            <td class="snnn top orange">
-              <br />
-            </td>
-            <td class="snnn top orange">
-              <br />
-            </td>
             <td class="ssnn top orange">
               <br />
             </td>
@@ -286,15 +256,6 @@
             <td class="snsn top red">
               <br />
             </td>
-            <td class="snsn top red">
-              <br />
-            </td>
-            <td class="snsn top red">
-              <br />
-            </td>
-            <td class="snsn top red">
-              <br />
-            </td>
             <td class="sssn top red">
               <br />
             </td>
@@ -328,6 +289,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index f67d1f81a5ccb80ad8a0b71341e0e14bd977a250..91041f3d8e02fa98d215f6fb78bb7eca03bd771f 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -269,6 +269,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:06 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 3a46173de124e7fb3ca3a836a43f3c0c25432c6b..ec61f9c05dd8d81e2731df6a46c6d054aef72a19 100644 (file)
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -202,6 +202,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:06 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 4e7bd9e14aeb59d0067bddab007e751f20512e68..0c2df9dc0fd23d40f095e9dd37ae327c6bdd120c 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -354,6 +354,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:05 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index a4bb157b5795a8061d4fda816593ae4e6201a4cb..f7dee9bf8058df00d5b8ad57621e96c90a598853 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -328,6 +328,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 07 Aug 2015 14:21:47 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:07 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index 1d00bf77e7bcc4a25cbebba143e0a4a6c52a19db..9a6be192d5aee37bd23294d267609e3cb584fc44 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -6,7 +6,7 @@ table {
      @@("download/basic2a.pdf"
      "The Formal System λδ Revised, Stage A: Extending the Applicability Condition") +
      "(<span class=\"emph gamma\">2014-11</span>)." +
-     "Submitted to ACM ToCL." +
+     "Preprint." + (* Submitted to ACM ToCL. *)
      "CoRR identifier" +
      @("http://arxiv.org/abs/1411.0154" "1411.0154") +
      "[v2] (revised" +