Here is a numerical account of the specification's contents
and its timeline.
@@ -130,13 +130,13 @@
- sizes |
- files |
- 10 |
- characters |
- 15063 |
- nodes |
- 14881 |
+ sizes |
+ files |
+ 10 |
+ characters |
+ 15063 |
+ nodes |
+ 14881 |
propositions |
@@ -148,13 +148,13 @@
50 |
- concepts |
- declared |
- 24 |
- defined |
- 4 |
- total |
- 28 |
+ concepts |
+ declared |
+ 24 |
+ defined |
+ 4 |
+ total |
+ 28 |
@@ -177,7 +177,7 @@
Specification starts.
-
Logical Structure of the Specification
+
Logical Structure of the Specification
This table reports the specification's components and their planes.
@@ -291,6 +291,6 @@
-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Fri, 24 Nov 2017 21:00:01 +0100