X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=7b6bf13cff9c472e442aaf8daf16ad2a60656d38;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;hp=c8959b5cd2d32afb4949119e858425b1c3f4e9de;hpb=99573d95dbebe2ec3dac5eda7b1dde2fe819ce3f;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c8959b5cd..7b6bf13cf 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -58,29 +58,29 @@
sizes |
files |
- 362 |
+ 367 |
characters |
- 431129 |
+ 431873 |
nodes |
- 1829245 |
+ 1830977 |
propositions |
theorems |
- 123 |
+ 128 |
lemmas |
- 1300 |
+ 1302 |
total |
- 1423 |
+ 1430 |
concepts |
declared |
- 54 |
+ 55 |
defined |
- 84 |
+ 82 |
total |
- 138 |
+ 137 |
@@ -277,8 +277,24 @@
stratified native validity |
+ hsnv ( �,?⦠⢠? ¡[?,?,?] ) |
+ hsnv_aaa |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
snv ( �,?⦠⢠? ¡[?,?] ) |
- snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_cpcs snv_preserve |
+ snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_cpes snv_preserve |
|
@@ -289,8 +305,8 @@
equivalence |
decomposed extended equivalence |
- cpes ( â¦?,?⦠⢠? â¢*â¬*[?,?] ? ) |
- cpes_cpds |
+ cpes ( â¦?,?⦠⢠? â¢*â¬*[?,?,?,?] ? ) |
+ cpes_aaa cpes_cpcs cpes_cpes |
|
@@ -485,7 +501,7 @@
decomposed extended computation |
- cpds ( â¦?,?⦠⢠? â¢*â¡*[?,?] ? ) |
+ cpds ( â¦?,?⦠⢠? â¢*â¡*[?,?,?] ? ) |
cpds_lift cpds_aaa cpds_cpds |
@@ -1300,6 +1316,6 @@
- Last update: Sun, 20 Jul 2014 16:13:31 +0200
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200
|