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