diff -r 29885c9be6ae -r aef83e8fa2a4 NEWS
--- a/NEWS	Fri Nov 26 23:12:01 2010 +0100
+++ b/NEWS	Fri Nov 26 23:41:23 2010 +0100
@@ -521,6 +521,9 @@
 
 *** ML ***
 
+* Former exception Library.UnequalLengths now coincides with
+ListPair.UnequalLengths.
+
 * Renamed raw "explode" function to "raw_explode" to emphasize its
 meaning.  Note that internally to Isabelle, Symbol.explode is used in
 almost all situations.