category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | files | -29 | +31 | characters | -71585 | +46619 | nodes | -58746 | +61911 | ||||
propositions | theorems | 2 | lemmas | -167 | +185 | total | -169 | +187 | |||||
concepts | declared | 40 | defined | -24 | +25 | total | -64 | +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: Mon, 20 Jan 2014 17:00:19 +0100
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200