category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | files | -31 | +29 | characters | -75360 | +46886 | nodes | -59683 | +61467 | ||||
propositions | theorems | 2 | lemmas | -178 | +183 | total | -180 | +185 | |||||
concepts | declared | -41 | +40 | defined | 25 | total | -66 | +65 |
Logical Structure of the Specification
+ Logical Structure of the Specification
The source files are grouped in planes
according to the following table.
Notation files covering the whole specification are provided.
@@ -107,30 +107,30 @@
- plane | -files | -+ | plane | +files | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each plane.
@@ -234,6 +234,6 @@
Last update: Fri, 23 May 2014 19:32:08 +0200
+ Last update: Sun, 06 Jul 2014 20:28:30 +0200