1.1 --- a/NEWS	Fri Nov 26 23:12:01 2010 +0100
     1.2 +++ b/NEWS	Fri Nov 26 23:41:23 2010 +0100
     1.3 @@ -521,6 +521,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Former exception Library.UnequalLengths now coincides with
     1.8 +ListPair.UnequalLengths.
     1.9 +
    1.10  * Renamed raw "explode" function to "raw_explode" to emphasize its
    1.11  meaning.  Note that internally to Isabelle, Symbol.explode is used in
    1.12  almost all situations.