category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | files | -24 | +29 | characters | -62302 | +46886 | nodes | -38860 | +61467 | ||||
propositions | theorems | 2 | lemmas | -88 | +183 | total | -90 | +185 | |||||
concepts | declared | 40 | defined | -22 | +25 | total | -62 | +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,18 +107,30 @@
- plane | -files | -+ | plane | +files | +
|
- + |
|
- + |
|
- + |
+ + |
+
+ + |
+
+ + |
+
+ + |
+
|
ynat_pred ( ⫰? ) | ynat_succ ( ⫯? ) | ynat_le ( ?� ) | -ynat_lt ( ?<? ) | +ynat_lt ( ?<? ) | +ynat_minus ( ? - ? ) | +ynat_plus ( ? + ? ) | +ynat_max | +ynat_min |
extensions to the library | @@ -142,6 +158,18 @@
|
+
+ + |
+
+ + |
+
+ + |
+
+ + |
|
@@ -156,6 +184,18 @@
|
+
+ + |
+
+ + |
+
+ + |
+
+ + |
|
@@ -164,7 +204,7 @@
Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each plane.
@@ -194,6 +234,6 @@
Last update: Thu, 28 Nov 2013 17:05:53 +0100
+ Last update: Sun, 20 Jul 2014 11:29:55 +0200