Here is a numerical account of the specification's contents
and its timeline.
@@ -152,29 +152,29 @@
sizes
files
- 4
+ 14
characters
- 68581
+ 6787
nodes
- 3637
+ 10070
propositions
theorems
2
lemmas
- 1
+ 4
total
- 3
+ 6
concepts
declared
- 3
+ 6
defined
- 9
+ 11
total
- 12
+ 17
@@ -258,6 +258,6 @@
-
Last update: Tue, 20 Jan 2015 18:39:00 +0100
+ Last update: Wed, 21 Jan 2015 17:13:08 +0100