NEWS
changeset 66451 5be0b0604d71
parent 66450 a8299195ed82
child 66455 158c513a39f5
     1.1 --- a/NEWS	Thu Aug 17 22:29:30 2017 +0200
     1.2 +++ b/NEWS	Fri Aug 18 14:57:23 2017 +0200
     1.3 @@ -121,6 +121,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Theory Library/Pattern_Aliases provides input syntax for pattern
     1.8 +aliases as known from Haskell, Scala and ML.
     1.9 +
    1.10  * Constant "subseq" in Topological_Spaces removed and subsumed by
    1.11  "strict_mono". Some basic lemmas specific to "subseq" have been renamed
    1.12  accordingly, e.g. "subseq_o" -> "strict_mono_o" etc.