NEWS
changeset 54745 46e441e61ff5
parent 54742 7a86358a3c0b
child 54787 6d1670095414
     1.1 --- a/NEWS	Sun Dec 15 15:10:14 2013 +0100
     1.2 +++ b/NEWS	Sun Dec 15 15:10:16 2013 +0100
     1.3 @@ -28,6 +28,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Theorem disambiguation Inf_le_Sup (on finite sets) ~> Inf_fin_le_Sup_fin.
     1.8 +INCOMPATBILITY.
     1.9 +
    1.10  * Code generations are provided for make, fields, extend and truncate
    1.11  operations on records.
    1.12