| changeset 40728 | aef83e8fa2a4 |
| parent 40725 | 02b3fab953c9 |
| parent 40722 | 441260986b63 |
| child 40771 | 1c6f7d4b110e |
--- 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.