category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
|||||||
sizes | files | -29 | +31 | characters | -74460 | +46619 | nodes | -59601 | +61911 | |||||||||||
propositions | theorems | 2 | lemmas | -178 | +185 | total | -180 | +187 | ||||||||||||
concepts | @@ -96,7 +96,7 @@ -
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: Sun, 11 May 2014 22:18:22 +0200
+ Last update: Tue, 05 Aug 2014 23:07:40 +0200