X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=d8c7887cd19631c8b0fcbdb49d686c3fd753a2f3;hb=88dd0e28758c693660a93ee0a9a5202c61ca09a0;hp=fac42f16c465e837a89e58efe7d8bd9c39c7a6ae;hpb=0c7cb3c503c0fcab104ad89ebc88683dc9830d06;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index fac42f16c..d8c7887cd 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -146,27 +146,27 @@
files |
150 |
characters |
- 126859 |
+ 128505 |
nodes |
- 643162 |
+ 646562 |
propositions |
theorems |
45 |
lemmas |
- 466 |
+ 476 |
total |
- 511 |
+ 521 |
concepts |
declared |
23 |
defined |
- 34 |
+ 37 |
total |
- 57 |
+ 60 |
@@ -360,7 +360,7 @@
rt-transition |
uncounted context-sensitive rt-transition |
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
- lfpx_length lfpx_fqup |
+ lfpx_length lfpx_drops lfpx_fqup |
|
@@ -486,7 +486,7 @@
generic extension on referred entries |
lfxs ( ? ⦻*[?,?] ? ) |
- lfxs_length lfxs_fqup lfxs_lfxs |
+ lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
|
@@ -811,6 +811,6 @@
- Last update: Thu, 09 Jun 2016 16:46:48 +0200
+ Last update: Mon, 27 Jun 2016 20:56:29 +0200