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.
@@ -206,8 +204,7 @@
-
- Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each plane.
@@ -237,6 +234,6 @@
Last update: Sun, 06 Jul 2014 16:29:26 +0200
+ Last update: Sun, 06 Jul 2014 17:03:50 +0200