Here is a numerical account of the specification's contents
and its timeline.
@@ -152,29 +152,29 @@
sizes
files
- 4
+ 1
characters
- 68581
+ 217
nodes
- 3637
+ 0
propositions
theorems
- 2
+ 0
lemmas
- 1
+ 0
total
- 3
+ 0
concepts
declared
- 3
+ 0
defined
- 9
+ 0
total
- 12
+ 0
@@ -258,6 +258,6 @@
-
Last update: Mon, 19 Jan 2015 23:52:52 +0100
+ Last update: Fri, 01 Apr 2016 23:30:52 +0200