X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=cbfde33d8998f2eedf37cceafb79f49c3c415f23;hb=a84e0c2abc802c308f3749e27bb843622534e8d7;hp=a508821994bb938e8e574fcb9bedba552c037c78;hpb=f694e3336cbdabdeefd86f85d827edfd26bf3464;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index a50882199..cbfde33d8 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 133 |
+ 143 |
characters |
- 92667 |
+ 116151 |
nodes |
- 334596 |
+ 607262 |
propositions |
theorems |
- 44 |
+ 46 |
lemmas |
- 369 |
+ 430 |
total |
- 413 |
+ 476 |
concepts |
declared |
- 22 |
+ 23 |
defined |
- 32 |
+ 33 |
total |
- 54 |
+ 56 |
@@ -359,7 +359,7 @@
rt-transition |
uncounted context-sensitive rt-transition |
- cpx ( â¦?,?⦠⢠? â¡[?] ? ) |
+ cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
cpx_simple cpx_drops cpx_lsubr |
@@ -373,7 +373,7 @@
|
counted context-sensitive rt-transition |
- cpg ( â¦?,?⦠⢠? â¡[?,?] ? ) |
+ cpg ( â¦?,?⦠⢠? â¬[?,?] ? ) |
cpg_simple cpg_drops cpg_lsubr |
@@ -551,7 +551,7 @@
|
relocation |
generic slicing for local environments |
- drops_vector ( â¬*[?,?] ? â¡ ? ) |
+ drops_vector ( â¬*[?,?] ? â¡ ? ) ( â¬*[?] ? â¡ ? ) |
|
@@ -569,7 +569,7 @@
|
- drops ( â¬*[?,?] ? â¡ ? ) |
+ drops ( â¬*[?,?] ? â¡ ? ) ( â¬*[?] ? â¡ ? ) |
drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops |
@@ -795,6 +795,6 @@
- Last update: Sun, 22 May 2016 11:12:18 +0200
+ Last update: Sun, 22 May 2016 15:25:27 +0200
|