category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | files | -29 | +29 | characters | -72188 | +46886 | nodes | -57742 | +61467 | ||||
propositions | theorems | 2 | lemmas | -171 | +183 | total | -173 | +185 | |||||
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 +109,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 +237,6 @@
Last update: Mon, 24 Feb 2014 19:58:07 +0100
+ Last update: Fri, 04 Jul 2014 19:56:33 +0200