equal
deleted
inserted
replaced
100 zero, one, plus, minus, uminus, times, abs, sgn: Groups |
100 zero, one, plus, minus, uminus, times, abs, sgn: Groups |
101 inverse, divide: Rings |
101 inverse, divide: Rings |
102 |
102 |
103 INCOMPATIBILITY. |
103 INCOMPATIBILITY. |
104 |
104 |
105 * Class division ring also requires proof of fact divide_inverse. However instantiation |
105 * Class division_ring also requires proof of fact divide_inverse. However instantiation |
106 of parameter divide has also been required previously. INCOMPATIBILITY. |
106 of parameter divide has also been required previously. INCOMPATIBILITY. |
107 |
107 |
108 * More consistent naming of type classes involving orderings (and lattices): |
108 * More consistent naming of type classes involving orderings (and lattices): |
109 |
109 |
110 lower_semilattice ~> semilattice_inf |
110 lower_semilattice ~> semilattice_inf |