X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=7b6bf13cff9c472e442aaf8daf16ad2a60656d38;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;hp=d3356642f050bc44075b82138b897d81ed02fe6d;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index d3356642f..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 |
- 431125 |
+ 431873 |
nodes |
- 1829252 |
+ 1830977 |
propositions |
theorems |
- 123 |
+ 128 |
lemmas |
- 1300 |
+ 1302 |
total |
- 1423 |
+ 1430 |
concepts |
declared |
- 54 |
+ 55 |
defined |
- 84 |
+ 82 |
total |
- 138 |
+ 137 |
@@ -263,7 +263,7 @@
dynamic typing |
local env. ref. for stratified native validity |
- lsubsv ( ? ⢠? ¡â«[?,?] ? ) |
+ lsubsv ( ? ⢠? â«Â¡[?,?] ? ) |
lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_cpds lsubsv_cpcs lsubsv_snv |
@@ -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 |
@@ -763,7 +779,7 @@
|
static typing |
local env. ref. for degree assignment |
- lsubd ( ? ⢠? âªâ« ? ) |
+ lsubd ( ? ⢠? â«âª[?,?] ? ) |
lsubd_da lsubd_lsubd |
@@ -819,7 +835,7 @@
|
local env. ref. for atomic arity assignment |
- lsuba ( ? ⢠? ââ« ? ) |
+ lsuba ( ? ⢠? â«â ? ) |
lsuba_aaa lsuba_lsuba |
@@ -1085,7 +1101,7 @@
|
local env. ref. for extended substitution |
- lsuby ( ? âÃ[?,?] ? ) |
+ lsuby ( ? â[?,?] ? ) |
lsuby_lsuby |
@@ -1300,6 +1316,6 @@
- Last update: Sun, 13 Jul 2014 23:25:31 +0200
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200
|