changeset 35721 | f7bbee848403 |
parent 35681 | 8b22a498b034 |
child 35728 | c36ade6f4c33 |
--- a/NEWS Wed Mar 10 16:53:43 2010 +0100 +++ b/NEWS Thu Mar 11 14:38:09 2010 +0100 @@ -102,7 +102,7 @@ INCOMPATIBILITY. -* Class division ring also requires proof of fact divide_inverse. However instantiation +* Class division_ring also requires proof of fact divide_inverse. However instantiation of parameter divide has also been required previously. INCOMPATIBILITY. * More consistent naming of type classes involving orderings (and lattices):