equal
deleted
inserted
replaced
29 INCOMPATIBILITY: manual "bnf" declarations may need adjustment |
29 INCOMPATIBILITY: manual "bnf" declarations may need adjustment |
30 - Renamed lemmas: |
30 - Renamed lemmas: |
31 rel_prod_apply ~> rel_prod_inject |
31 rel_prod_apply ~> rel_prod_inject |
32 pred_prod_apply ~> pred_prod_inject |
32 pred_prod_apply ~> pred_prod_inject |
33 INCOMPATIBILITY. |
33 INCOMPATIBILITY. |
|
34 |
|
35 * Renamed split_if -> if_split and split_if_asm -> if_split_asm |
|
36 to resemble the f.split naming convention. |
34 |
37 |
35 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
38 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
36 INCOMPATIBILITY. |
39 INCOMPATIBILITY. |
37 |
40 |
38 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
41 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |