From 296f79ae045db68312a245e4111afb554561de42 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 9 Oct 2014 18:12:58 +0000
Subject: [PATCH] we commit the web site again since last commit had some
 problems :(

---
 helm/www/lambdadelta/BTM.html            |  2 +-
 helm/www/lambdadelta/apps_2.html         | 18 +++++++++---------
 helm/www/lambdadelta/basic_2.html        | 10 +++++-----
 helm/www/lambdadelta/documentation.html  |  2 +-
 helm/www/lambdadelta/ground_2.html       |  2 +-
 helm/www/lambdadelta/implementation.html |  2 +-
 helm/www/lambdadelta/index.html          |  2 +-
 helm/www/lambdadelta/news.html           |  2 +-
 helm/www/lambdadelta/specification.html  |  2 +-
 9 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 6da2d08fc..c5fa3d35e 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 0e502b7f9..ac0bc943e 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -76,29 +76,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">5</td>
+            <td class="snnn right italic cyan">4</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">4273</td>
+            <td class="snnn right italic cyan">2567</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">4166</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">3</td>
+            <td class="snnn right italic green">1</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">5</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">5</td>
+            <td class="snsn right italic yellow">3</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">10</td>
+            <td class="snsn right italic yellow">9</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">15</td>
+            <td class="sssn right italic yellow">12</td>
           </tr>
         </tbody>
       </table>
@@ -191,6 +191,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:24 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index fa518c489..33356dfc5 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -60,18 +60,18 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">358</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">430633</td>
+            <td class="snnn right italic cyan">431770</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1858385</td>
+            <td class="ssnn right italic cyan">1860144</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">1283</td>
+            <td class="snnn right italic green">1286</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">1413</td>
+            <td class="ssnn right italic green">1416</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
@@ -1303,6 +1303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:24 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index dd3e6c272..1ebf1f76f 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -344,6 +344,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 16:26:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 87ad0d3c2..2306a3d42 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -234,6 +234,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 3d253ae1d..e4af9432e 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -226,6 +226,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index c8664cd96..a7d1579aa 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -146,6 +146,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 16:26:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index c246291df..421d5db86 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -314,6 +314,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:31 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 568d80fe7..d6e63c9b6 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -255,6 +255,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 16:26:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
 </body>
 </html>
-- 
2.39.2