NEWS
authorhaftmann
Mon Dec 09 22:49:27 2013 +0100 (2013-12-09)
changeset 547088e71c6ed4d74
parent 54707 0b3a4bdfc3d1
child 54710 afdb394ee0c0
NEWS
NEWS
     1.1 --- a/NEWS	Sat Dec 07 20:09:35 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 09 22:49:27 2013 +0100
     1.3 @@ -24,6 +24,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Code generations are provided for make, fields, extend and truncate
     1.8 +operations on records.
     1.9 +
    1.10  * Qualified constant names Wellfounded.acc, Wellfounded.accp.
    1.11  INCOMPATIBILITY.
    1.12