equal
deleted
inserted
replaced
504 |
504 |
505 * All constant names are now qualified. INCOMPATIBILITY. |
505 * All constant names are now qualified. INCOMPATIBILITY. |
506 |
506 |
507 |
507 |
508 *** ML *** |
508 *** ML *** |
|
509 |
|
510 * Former exception Library.UnequalLengths now coincides with |
|
511 ListPair.UnequalLengths. |
509 |
512 |
510 * Renamed raw "explode" function to "raw_explode" to emphasize its |
513 * Renamed raw "explode" function to "raw_explode" to emphasize its |
511 meaning. Note that internally to Isabelle, Symbol.explode is used in |
514 meaning. Note that internally to Isabelle, Symbol.explode is used in |
512 almost all situations. |
515 almost all situations. |
513 |
516 |