X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=c301a2d39a3b0427670a7f30fa12e42683d11938;hb=5a81feec7b8c07a43e96d772431e06bad177ed8c;hp=374c3a7db77cd311b68881174df388362bc7e6ad;hpb=302350938616c335a7b88fb1520b9e66a3cc7994;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 374c3a7db..c301a2d39 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 212 |
+ 229 |
characters |
- 213959 |
+ 234579 |
nodes |
- 1057531 |
+ 1140037 |
propositions |
theorems |
62 |
lemmas |
- 741 |
+ 814 |
total |
- 803 |
+ 876 |
concepts |
declared |
31 |
defined |
- 78 |
+ 79 |
total |
- 109 |
+ 110 |
@@ -393,6 +393,46 @@
rt-transition |
+ uncounted context-sensitive rt-transition |
+ cnx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
+ cnx_simple cnx_drops cnx_cnx |
+
+
+
+
+ |
+
+
+ |
+ lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
+ lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx |
+
+
+
+
+ |
+
+
+ |
+ cpx_ext ( â¦?,?⦠⢠? â¬[?] ? ) |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ cpx ( â¦?,?⦠⢠? â¬[?] ? ) |
+ cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs |
+
+
+
+
+ |
counted context-sensitive rt-transition |
cpg ( â¦?,?⦠⢠? â¬[?,?] ? ) |
cpg_simple cpg_drops cpg_lsubr |
@@ -844,6 +884,6 @@
- Last update: Tue, 17 Oct 2017 20:34:24 +0200
+ Last update: Mon, 23 Oct 2017 19:19:04 +0200