NEWS
changeset 56154 f0a927235162
parent 56148 d94d6a9178b5
child 56166 9a241bc276cd
     1.1 --- a/NEWS	Sat Mar 15 03:37:22 2014 +0100
     1.2 +++ b/NEWS	Sat Mar 15 08:31:33 2014 +0100
     1.3 @@ -98,6 +98,13 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Swapped orientation of facts image_comp and vimage_comp:
     1.8 +  image_compose ~> image_comp [symmetric]
     1.9 +  image_comp ~> image_comp [symmetric]
    1.10 +  vimage_compose ~> vimage_comp [symmetric]
    1.11 +  vimage_comp ~> vimage_comp [symmetric]
    1.12 +  INCOMPATIBILITY.
    1.13 +
    1.14  * Simplifier: Enhanced solver of preconditions of rewrite rules
    1.15    can now deal with conjunctions.
    1.16    For help with converting proofs, the old behaviour of the simplifier