X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=5c8b09d636efc67956f64d0349b594554d93c75d;hb=503426723b9fc786c69dc988d38726997ecb809a;hp=cbfde33d8998f2eedf37cceafb79f49c3c415f23;hpb=d64b4238ec803353f0a06f2aad25c173852b0526;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index cbfde33d8..5c8b09d63 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 143 |
+ 150 |
characters |
- 116151 |
+ 121855 |
nodes |
- 607262 |
+ 618445 |
propositions |
theorems |
- 46 |
+ 45 |
lemmas |
- 430 |
+ 458 |
total |
- 476 |
+ 503 |
concepts |
declared |
23 |
defined |
- 33 |
+ 34 |
total |
- 56 |
+ 57 |
@@ -359,6 +359,22 @@
rt-transition |
uncounted context-sensitive rt-transition |
+ lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
+ lfpx_length lfpx_fqup |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
cpx_simple cpx_drops cpx_lsubr |
@@ -484,7 +500,7 @@
|
context-sensitive free variables |
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_lreq frees_frees |
+ frees_weight frees_lreq frees_drops frees_frees |
|
@@ -795,6 +811,6 @@
- Last update: Sun, 22 May 2016 15:25:27 +0200
+ Last update: Tue, 31 May 2016 21:18:48 +0200