X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=54deb5321fa9d8d94156b77bf8604f98c76512e0;hb=db4fa4436863ec774b70787659f749542908f227;hp=f00ca8e1a767ad574c21dacc0b23716b23c9d0b5;hpb=f8bf3abd773864388fef5efe599ac77f292a6b9d;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index f00ca8e1a..54deb5321 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -25,8 +25,7 @@
-
-
Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
@@ -61,9 +60,9 @@
files |
362 |
characters |
-
430997 |
+
431129 |
nodes |
-
1829107 |
+
1829245 |
propositions |
@@ -209,8 +208,7 @@
-
- Logical Structure of the Specification
+ Logical Structure of the Specification
The source files are grouped in planes and components
according to the following table.
Notation files covering the whole specification are provided.
@@ -236,7 +234,7 @@
examples |
- |
+ terms with special features |
ex_cpr_omega |
@@ -265,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 |
@@ -765,7 +763,7 @@
|
static typing |
local env. ref. for degree assignment |
- lsubd ( ? ⢠? âªâ« ? ) |
+ lsubd ( ? ⢠? â«âª[?,?] ? ) |
lsubd_da lsubd_lsubd |
@@ -821,7 +819,7 @@
|
local env. ref. for atomic arity assignment |
- lsuba ( ? ⢠? ââ« ? ) |
+ lsuba ( ? ⢠? â«â ? ) |
lsuba_aaa lsuba_lsuba |
@@ -1087,7 +1085,7 @@
|
local env. ref. for extended substitution |
- lsuby ( ? âÃ[?,?] ? ) |
+ lsuby ( ? â[?,?] ? ) |
lsuby_lsuby |
@@ -1272,8 +1270,7 @@
-
- Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -1303,6 +1300,6 @@
- Last update: Fri, 04 Jul 2014 19:56:33 +0200
+ Last update: Mon, 14 Jul 2014 22:47:32 +0200
|