X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=3779a6c0ff682942794c0fabbdbbcf1925b54137;hb=7adeb2882d9841c0ab5b357f1652bd42800e77fc;hp=3a00820c886f3835965f70ae62536878404e2f04;hpb=43282d3750af8831c8100c60d75c56fdfb7ff3c9;p=helm.git
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 @@
iterated local env. slicing |
- drops ( â©*[?,?] ? â¡ ? ) |
+ drops ( â¬*[?,?] ? â¡ ? ) |
drops_drop drops_drops |
@@ -1008,7 +1008,7 @@
|
generic term relocation |
- lifts_vector ( â§*[?] ? â¡ ? ) |
+ lifts_vector ( â¬*[?] ? â¡ ? ) |
lifts_lift_vector |
@@ -1024,7 +1024,7 @@
|
|
- lifts ( â§*[?] ? â¡ ? ) |
+ lifts ( â¬*[?] ? â¡ ? ) |
lifts_lift lifts_lifts |
@@ -1078,7 +1078,7 @@
|
global env. slicing |
- gget ( â©[?] ? â¡ ? ) |
+ gget ( â¬[?] ? â¡ ? ) |
gget_gget |
@@ -1134,7 +1134,7 @@
|
basic local env. slicing |
- drop ( â©[?,?,?] ? â¡ ? ) |
+ drop ( â¬[?,?,?] ? â¡ ? ) |
drop_append drop_leq drop_drop |
@@ -1148,7 +1148,7 @@
|
basic term relocation |
- lift_vector ( â§[?,?] ? â¡ ? ) |
+ lift_vector ( â¬[?,?] ? â¡ ? ) |
lift_lift_vector |
@@ -1164,7 +1164,7 @@
|
|
- lift ( â§[?,?] ? â¡ ? ) |
+ lift ( â¬[?,?] ? â¡ ? ) |
lift_neq lift_lift |
@@ -1321,6 +1321,6 @@
- Last update: Sun, 14 Sep 2014 23:26:35 +0200
+ Last update: Mon, 15 Sep 2014 16:17:55 +0200
|