updated NEWS
authorblanchet
Wed Feb 19 16:33:11 2014 +0100 (2014-02-19)
changeset 55585014138b356c4
parent 55584 a879f14b6f95
child 55586 c94f1a72d9c5
updated NEWS
NEWS
     1.1 --- a/NEWS	Wed Feb 19 16:32:37 2014 +0100
     1.2 +++ b/NEWS	Wed Feb 19 16:33:11 2014 +0100
     1.3 @@ -128,22 +128,24 @@
     1.4      wrap_free_constructors ~> free_constructors
     1.5    INCOMPATIBILITY.
     1.6  
     1.7 -* Old datatype package:
     1.8 +* Old and new (co)datatype packages:
     1.9    * Generated constants "xxx_case" and "xxx_rec" have been renamed "case_xxx"
    1.10      and "rec_xxx" (e.g., "prod_case" ~> "case_prod").
    1.11      INCOMPATIBILITY.
    1.12  
    1.13  * The types "'a list" and "'a option", their set and map functions, their
    1.14 -  relators, and their selectors are now produced using the new BNF-based datatype
    1.15 -  package.
    1.16 +  relators, and their selectors are now produced using the new BNF-based
    1.17 +  datatype package.
    1.18    Renamed constants:
    1.19      Option.set ~> set_option
    1.20      Option.map ~> map_option
    1.21      option_rel ~> rel_option
    1.22    Renamed theorems:
    1.23 +    set_def ~> set_rec[abs_def]
    1.24      map_def ~> map_rec[abs_def]
    1.25      Option.map_def ~> map_option_case[abs_def] (with "case_option" instead of "rec_option")
    1.26      list_all2_def ~> list_all2_iff
    1.27 +    set.simps ~> set_simps (or the slightly different "list.set")
    1.28      map.simps ~> list.map
    1.29      hd.simps ~> list.sel(1)
    1.30      tl.simps ~> list.sel(2-3)