NEWS
authorhaftmann
Mon Dec 23 16:16:36 2013 +0100 (2013-12-23)
changeset 54850980817309b78
parent 54849 d325c7c4a4f7
child 54852 7137303f9f88
NEWS
NEWS
     1.1 --- a/NEWS	Mon Dec 23 14:24:22 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 23 16:16:36 2013 +0100
     1.3 @@ -28,8 +28,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Word library: bit representations prefer type bool over type bit.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Theorem disambiguation Inf_le_Sup (on finite sets) ~> Inf_fin_le_Sup_fin.
    1.11 -INCOMPATBILITY.
    1.12 +INCOMPATIBILITY.
    1.13  
    1.14  * Code generations are provided for make, fields, extend and truncate
    1.15  operations on records.