X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=c8ab51e51aa7ffafb3eae2a6e2b802a509eef3c6;hb=1330e8b45155fc972bc18c4e5fd69897afa3cbe8;hp=a7e304e3ca68b485d1a0ee190f11dd6c99baa58d;hpb=b11e1907f99bea1de50db890d849ba5469d2e0e7;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index a7e304e3c..c8ab51e51 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 221 |
+ 224 |
characters |
- 212835 |
+ 217212 |
nodes |
- 1046738 |
+ 1060103 |
propositions |
theorems |
- 49 |
+ 52 |
lemmas |
- 693 |
+ 709 |
total |
- 742 |
+ 761 |
concepts |
declared |
29 |
defined |
- 62 |
+ 63 |
total |
- 91 |
+ 92 |
@@ -371,6 +371,16 @@
rt-computation |
uncounted context-sensitive rt-transition |
+ csx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
+ csx_cnx csx_csx |
+
+
+
+
+ |
+
+
+ |
cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
@@ -378,7 +388,7 @@
|
rt-transition |
- parallel qrst-rtransition |
+ parallel qrst-transition |
fpb ( â¦?,?,?⦠â»[?,?] â¦?,?,?⦠) |
@@ -428,7 +438,7 @@
|
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
- lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
+ lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa |
@@ -438,7 +448,7 @@
|
cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
- cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq |
+ cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs |
@@ -452,7 +462,7 @@
| static typing |
generic reducibility |
lsubc ( ? ⢠? â«[?] ? ) |
- lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba |
+ lsubc_drops lsubc_lsubr lsubc_lsuba |
@@ -536,7 +546,7 @@
|
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_drops frees_fqup frees_frees |
+ frees_drops frees_fqup frees_frees |
@@ -837,6 +847,6 @@
- Last update: Sun, 19 Feb 2017 19:57:19 +0100
+ Last update: Thu, 02 Mar 2017 17:01:49 +0100
|