NEWS
changeset 66450 a8299195ed82
parent 66449 1be102db1598
child 66451 5be0b0604d71
child 66454 1a73ad1c06dd
     1.1 --- a/NEWS	Thu Aug 17 21:12:55 2017 +0200
     1.2 +++ b/NEWS	Thu Aug 17 22:29:30 2017 +0200
     1.3 @@ -121,6 +121,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Constant "subseq" in Topological_Spaces removed and subsumed by
     1.8 +"strict_mono". Some basic lemmas specific to "subseq" have been renamed
     1.9 +accordingly, e.g. "subseq_o" -> "strict_mono_o" etc.
    1.10 +
    1.11  * Command and antiquotation "value" with modified default strategy:
    1.12  terms without free variables are always evaluated using plain evaluation
    1.13  only, with no fallback on normalization by evaluation.