Here is a numerical account of the specification's contents
and its timeline.
@@ -145,29 +152,29 @@
sizes
files
- 14
+ 4
characters
- 6787
+ 68581
nodes
- 10070
+ 3637
propositions
theorems
2
lemmas
- 4
+ 1
total
- 6
+ 3
concepts
declared
- 6
+ 3
defined
- 11
+ 9
total
- 17
+ 12
@@ -251,6 +258,6 @@
-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+ Last update: Thu, 10 Dec 2015 16:13:46 +0100