NEWS

--- a/NEWS	Wed Aug 18 16:59:37 2010 +0200
+++ b/NEWS	Wed Aug 18 17:01:12 2010 +0200
@@ -35,6 +35,9 @@
 
 *** HOL ***
 
+* Records: logical foundation type for records do not carry a '_type' suffix
+any longer.  INCOMPATIBILITY.
+
 * Code generation for records: more idiomatic representation of record types.
 Warning: records are not covered by ancient SML code generation any longer.
 INCOMPATIBILITY.  In cases of need, a suitable rep_datatype declaration