equal
deleted
inserted
replaced
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 |
34 |
35 * Renamed split_if -> if_split and split_if_asm -> if_split_asm |
35 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
36 to resemble the f.split naming convention. |
36 resemble the f.split naming convention, INCOMPATIBILITY. |
37 |
37 |
38 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
38 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
39 INCOMPATIBILITY. |
39 INCOMPATIBILITY. |
40 |
40 |
41 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
41 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |