Extended context-sensitive strong normalization
for simply typed terms.
</news>
+ <news date="2013 April 16.">
+ Reaxiomatized substitution and reduction
+ commute with respect to subclosure
+ (anniversary milestone).
+ </news>
<news date="2013 March 16.">
Mutual recursive preservation of stratified native validity
for hyper computation on closures.