equal
deleted
inserted
replaced
46 INCOMPATIBILITY: manual "bnf" declarations may need adjustment |
46 INCOMPATIBILITY: manual "bnf" declarations may need adjustment |
47 - Renamed lemmas: |
47 - Renamed lemmas: |
48 rel_prod_apply ~> rel_prod_inject |
48 rel_prod_apply ~> rel_prod_inject |
49 pred_prod_apply ~> pred_prod_inject |
49 pred_prod_apply ~> pred_prod_inject |
50 INCOMPATIBILITY. |
50 INCOMPATIBILITY. |
|
51 - The "size" plugin has been made compatible again with locales. |
51 |
52 |
52 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
53 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
53 resemble the f.split naming convention, INCOMPATIBILITY. |
54 resemble the f.split naming convention, INCOMPATIBILITY. |
54 |
55 |
55 * Multiset membership is now expressed using set_mset rather than count. |
56 * Multiset membership is now expressed using set_mset rather than count. |