From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 15 Sep 2014 14:18:47 +0000 (+0000)
Subject: minor update in basic_2 ...
X-Git-Tag: make_still_working~837
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7adeb2882d9841c0ab5b357f1652bd42800e77fc;p=helm.git

minor update in basic_2 ...
---

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 1b5ab68bd..4784c537c 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, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 5413ff904..64a00761d 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -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, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 3a00820c8..3779a6c0f 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -994,7 +994,7 @@
               <br />
             </td>
             <td class="snns top italic yellow">iterated local env. slicing</td>
-            <td class="snns top yellow">drops ( ⇩*[?,?] ? ≡ ? )</td>
+            <td class="snns top yellow">drops ( ⬇*[?,?] ? ≡ ? )</td>
             <td class="snnn top yellow">drops_drop drops_drops</td>
             <td class="snnn top yellow">
               <br />
@@ -1008,7 +1008,7 @@
               <br />
             </td>
             <td class="snns top italic yellow">generic term relocation</td>
-            <td class="snns top yellow">lifts_vector ( ⇧*[?] ? ≡ ? )</td>
+            <td class="snns top yellow">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
             <td class="snnn top yellow">lifts_lift_vector</td>
             <td class="snnn top yellow">
               <br />
@@ -1024,7 +1024,7 @@
             <td class="nnns top italic yellow">
               <br />
             </td>
-            <td class="snns top yellow">lifts ( ⇧*[?] ? ≡ ? )</td>
+            <td class="snns top yellow">lifts ( ⬆*[?] ? ≡ ? )</td>
             <td class="snnn top yellow">lifts_lift lifts_lifts</td>
             <td class="snnn top yellow">
               <br />
@@ -1078,7 +1078,7 @@
               <br />
             </td>
             <td class="snns top italic orange">global env. slicing</td>
-            <td class="snns top orange">gget ( ⇩[?] ? ≡ ? )</td>
+            <td class="snns top orange">gget ( ⬇[?] ? ≡ ? )</td>
             <td class="snnn top orange">gget_gget</td>
             <td class="snnn top orange">
               <br />
@@ -1134,7 +1134,7 @@
               <br />
             </td>
             <td class="snns top italic orange">basic local env. slicing</td>
-            <td class="snns top orange">drop ( ⇩[?,?,?] ? ≡ ? )</td>
+            <td class="snns top orange">drop ( ⬇[?,?,?] ? ≡ ? )</td>
             <td class="snnn top orange">drop_append drop_leq drop_drop</td>
             <td class="snnn top orange">
               <br />
@@ -1148,7 +1148,7 @@
               <br />
             </td>
             <td class="snns top italic orange">basic term relocation</td>
-            <td class="snns top orange">lift_vector ( ⇧[?,?] ? ≡ ? )</td>
+            <td class="snns top orange">lift_vector ( ⬆[?,?] ? ≡ ? )</td>
             <td class="snnn top orange">lift_lift_vector</td>
             <td class="snnn top orange">
               <br />
@@ -1164,7 +1164,7 @@
             <td class="nnns top italic orange">
               <br />
             </td>
-            <td class="snns top orange">lift ( ⇧[?,?] ? ≡ ? )</td>
+            <td class="snns top orange">lift ( ⬆[?,?] ? ≡ ? )</td>
             <td class="snnn top orange">lift_neq lift_lift</td>
             <td class="snnn top orange">
               <br />
@@ -1321,6 +1321,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index d0238c873..a96cf0b86 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -333,6 +333,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz
index 785e61d60..e558c8d52 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_2.tar.gz and b/helm/www/lambdadelta/download/lambdadelta_2.tar.gz differ
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 5f41e696f..09626dc25 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, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index c2bf898cc..0ba1cd09d 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -266,6 +266,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 502c44539..591768d95 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -135,6 +135,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index f303f789b..6ae513317 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -303,6 +303,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index 647a62a6e..89eb45995 100644
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -167,6 +167,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>
diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html
index 37a5db3d8..ef89d56cd 100644
--- a/helm/www/lambdadelta/version_2.html
+++ b/helm/www/lambdadelta/version_2.html
@@ -131,6 +131,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 14 Sep 2014 23:26:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 15 Sep 2014 16:17:55 +0200</div>
 </body>
 </html>