NEWS
changeset 67616 1d005f514417
parent 67591 6fd9902057f5
child 67702 2d9918f5b33c
     1.1 --- a/NEWS	Thu Feb 15 13:04:36 2018 +0100
     1.2 +++ b/NEWS	Fri Feb 16 10:59:14 2018 +0100
     1.3 @@ -210,6 +210,9 @@
     1.4  * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* The relator rel_filter on filters has been strengthened to its 
     1.8 +canonical categorical definition with better properties. INCOMPATIBILITY.
     1.9 +
    1.10  * HOL-Algebra: renamed (^) to [^]
    1.11  
    1.12  * Session HOL-Analysis: Moebius functions and the Riemann mapping