diff -r e5089e903e39 -r 441260986b63 NEWS
--- a/NEWS	Fri Nov 26 22:04:33 2010 +0100
+++ b/NEWS	Fri Nov 26 22:29:41 2010 +0100
@@ -507,6 +507,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.