Here is a numerical account of the specification's contents
and its timeline.
@@ -139,18 +146,18 @@
files
360
characters
- 433402
+ 437272
nodes
- 1874774
+ 1935835
propositions
theorems
130
lemmas
- 1286
+ 1303
total
- 1416
+ 1433
concepts
@@ -204,7 +211,7 @@
2014 April 16.
Lazy equivalence on local environments
- addded as q-step to rst-computation on closures
+ added as q-step to rst-computation on closures
(anniversary milestone).
@@ -1012,7 +1019,7 @@
- contxt-sensitive multiple rt-substitution
+ context-sensitive multiple rt-substitution
cpys ( â¦?,?⦠⢠? â¶*[?,?] ? )
cpys_alt ( â¦?,?⦠⢠? â¶â¶*[?,?] ? )
cpys_lift cpys_cpys
@@ -1152,7 +1159,7 @@
- contxt-sensitive ordinary rt-substitution
+ context-sensitive ordinary rt-substitution
cpy ( â¦?,?⦠⢠? â¶[?,?] ? )
cpy_lift cpy_nlift cpy_cpy
@@ -1377,6 +1384,6 @@
-
Last update: Thu, 15 Jan 2015 16:54:45 +0100
+ Last update: Sun, 06 Sep 2015 21:40:58 +0200