category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
files | 29 | characters | -75064 | +46886 | nodes | -60700 | +61467 |
propositions | theorems | 2 | lemmas | -182 | +183 | total | -184 | +185 | ||||||||||||
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: Mon, 09 Jun 2014 22:16:19 +0200
+ Last update: Sun, 20 Jul 2014 11:29:55 +0200