| changeset 63113 | fe31996e3898 |
| parent 63094 | 056ea294c256 |
| child 63116 | 32492105b015 |
| child 63117 | acb6d72fc42e |
| child 63120 | 629a4c5e953e |
--- a/NEWS Mon May 23 15:29:38 2016 +0200 +++ b/NEWS Mon May 23 15:30:13 2016 +0200 @@ -117,6 +117,9 @@ INCOMPATIBILITY. - The "size" plugin has been made compatible again with locales. +* Removed obsolete theorem nat_less_cases. INCOMPATIBILITY, use +linorder_cases instead. + * Renamed split_if -> if_split and split_if_asm -> if_split_asm to resemble the f.split naming convention, INCOMPATIBILITY.