NEWS

--- a/NEWS	Thu Mar 27 19:04:38 2008 +0100
+++ b/NEWS	Thu Mar 27 19:04:39 2008 +0100
@@ -48,6 +48,12 @@
 
 *** HOL ***
 
+* Class finite no longer treats UNIV as class parameter.  Use class enum from
+theory Library/Enum instead to achieve a similar effect.  INCOMPATIBILITY.
+
+* Theory List: rule list_induct2 now has explicitly named cases "Nil" and "Cons".
+INCOMPATIBILITY.
+
 * HOL (and FOL): renamed variables in rules imp_elim and swap.
 Potential INCOMPATIBILITY.