--- a/NEWS Sat Nov 04 19:25:34 2006 +0100
+++ b/NEWS Sat Nov 04 19:25:36 2006 +0100
@@ -618,14 +618,14 @@
*** HOL-Algebra ***
-* Formalisation of ideals and the quotient construction over rings, contributed
- by Stephan Hohe.
-
-* Order and lattice theory no longer based on records. INCOMPATIBILITY.
-
-* Method algebra is now set up via an attribute. For examples see CRing.thy.
- INCOMPATIBILITY: the method is now weaker on combinations of algebraic
- structures.
+* Formalisation of ideals and the quotient construction over rings.
+
+* Order and lattice theory no longer based on records.
+INCOMPATIBILITY.
+
+* Method algebra is now set up via an attribute. For examples see
+CRing.thy. INCOMPATIBILITY: the method is now weaker on combinations
+of algebraic structures.
* Renamed `CRing.thy' to `Ring.thy'. INCOMPATIBILITY.