Here is a numerical account of the specification's contents
and its timeline.
@@ -146,18 +146,18 @@
files
360
characters
- 433402
+ 437272
nodes
- 1874774
+ 1935835
propositions
theorems
130
lemmas
- 1286
+ 1303
total
- 1416
+ 1433
concepts
@@ -211,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).
@@ -1019,7 +1019,7 @@
- contxt-sensitive multiple rt-substitution
+ context-sensitive multiple rt-substitution
cpys ( â¦?,?⦠⢠? â¶*[?,?] ? )
cpys_alt ( â¦?,?⦠⢠? â¶â¶*[?,?] ? )
cpys_lift cpys_cpys
@@ -1159,7 +1159,7 @@
- contxt-sensitive ordinary rt-substitution
+ context-sensitive ordinary rt-substitution
cpy ( â¦?,?⦠⢠? â¶[?,?] ? )
cpy_lift cpy_nlift cpy_cpy
@@ -1384,6 +1384,6 @@
-
Last update: Tue, 20 Jan 2015 18:39:00 +0100
+ Last update: Sun, 06 Sep 2015 21:40:58 +0200