update in ground_2 and basic_2 ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 8ae724915161ce7cb1300a65648560365bc964aa..5df60f34361c62943dbb63ea643f3a61e8a5d54d 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, 15 Sep 2016 17:33:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 15f0969e8a5daa0104b91d744eefdd830a0e728e..51e7ef4e56d857f1cf9a41c4d4ab810681735882 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, 15 Sep 2016 17:33:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 59521abe260a27bf445e1173f95356cd7ec9b4ed..044fcb0feda04432768821cd1b0ff2a6551f8824 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 45e0d37352cb4ce90fcdec311d3a6e6505261c2e..d1900219605788c8fa756c027926ef9c4c29b654 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,20 +144,20 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">166</td>
+            <td class="snnn right italic cyan">167</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">157412</td>
+            <td class="snnn right italic cyan">167321</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">818407</td>
+            <td class="ssnn right italic cyan">875248</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">47</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">556</td>
+            <td class="snnn right italic green">590</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">603</td>
+            <td class="ssnn right italic green">637</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
@@ -552,7 +552,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_frees</td>
+            <td class="snnn top green">frees_weight frees_lreq frees_drops frees_fqup frees_fqus frees_frees</td>
             <td class="snnn top green">
               <br />
             </td>
@@ -863,6 +863,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 15 Sep 2016 17:33:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index e77eb4ea68a9148f28ba27955e47d6b5beafce71..1e24eb61826ed742ec00f435b6369971d14abdc4 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 807a55fc78022267551e1c5c413a4b37a0c5fc73..22c53e201c5f843bd92c29c8cded35f427aba21f 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 82ab3aa4fd88f337b7b5ba7426e4ecc6a02475c4..9083df133f81d9508318e91a753ac89d6d4a0561 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -134,18 +134,18 @@
             <td class="snns italic cyan">files</td>
             <td class="snnn right italic cyan">95</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">131558</td>
+            <td class="snnn right italic cyan">132639</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">304213</td>
+            <td class="ssnn right italic cyan">308557</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">37</td>
+            <td class="snnn right italic green">38</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">626</td>
+            <td class="snnn right italic green">635</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">663</td>
+            <td class="ssnn right italic green">673</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
@@ -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, 15 Sep 2016 17:33:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:43 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index 20944242784eace43f735949d80c086aa4bb1ee4..2fdf11e9f1f8eaccf048cfa8cfb81885461fcaea 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index c36cee15d4aed128bdb27ee85dfb97b3fd9fcd25..812a44e5a75d65d35336edb4120debb96d5c23e4 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 8b632b44ffd5244b8ed5d975381cba7506de289e..be546afcfcdbc058890fb558c18e137f888953c1 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index e5ccdd471da81578f5787a0a9daa76df330cc077..bb360ef6aa41c7e812f98dfc7ec1b44a87a1045c 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 962cb37694093936c4f2c3846354ac9efb010514..169743bb62fb63dabd4711b58e9040f43d05902d 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, 15 Sep 2016 17:33:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 22 Sep 2016 15:52:42 +0200</div>
   </body>
 </html>