NEWS
changeset 56166 9a241bc276cd
parent 56154 f0a927235162
child 56205 ceb8a93460b7
     1.1 --- a/NEWS	Sat Mar 15 16:54:32 2014 +0100
     1.2 +++ b/NEWS	Sun Mar 16 18:09:04 2014 +0100
     1.3 @@ -98,6 +98,12 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* More aggressive normalization of expressions involving INF and Inf
     1.8 +or SUP and Sup. INCOMPATIBILITY.
     1.9 +
    1.10 +* INF_image and SUP_image do not unfold composition.
    1.11 +INCOMPATIBILITY.
    1.12 +
    1.13  * Swapped orientation of facts image_comp and vimage_comp:
    1.14    image_compose ~> image_comp [symmetric]
    1.15    image_comp ~> image_comp [symmetric]