Summary of the Specification
+ Summary of the Specification
Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
@@ -55,50 +55,50 @@
@@ -123,7 +123,7 @@
-
-
category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | -files | -4 | -characters | -3922 | -nodes | -3861 | +sizes | +files | +4 | +characters | +2567 | +nodes | +3637 |
propositions | -theorems | -2 | -lemmas | -1 | -total | -3 | +propositions | +theorems | +2 | +lemmas | +1 | +total | +3 |
concepts | -declared | -3 | -defined | -9 | -total | -12 | +concepts | +declared | +3 | +defined | +9 | +total | +12 |
Logical Structure of the Specification
+ Logical Structure of the Specification
The source files are grouped in planes and components
according to the following table.
Each component contains its own notation file.
@@ -134,26 +134,26 @@
- component | -plane | -files | -+ | component | +plane | +files | +
|
functional | -reduction and type machine | -rtm | -rtm_step ( ? ⨠? ) | +functional | +reduction and type machine | +rtm | +rtm_step ( ? ⨠? ) |
+ |
|
- relocation | -lift ( â[?,?] ? ) | -+ | relocation | +lift ( â[?,?] ? ) | +
|
Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -191,6 +191,6 @@
Last update: Sat, 12 Oct 2013 19:38:34 +0200
+ Last update: Tue, 30 Sep 2014 16:37:52 +0200