--- a/NEWS Tue Feb 09 09:21:10 2016 +0100
+++ b/NEWS Wed Feb 10 18:43:19 2016 +0100
@@ -40,6 +40,15 @@
* Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY.
+* The type class ordered_comm_monoid_add is now called
+ordered_cancel_comm_monoid_add. A new type class ordered_comm_monoid_add is
+introduced as the combination of ordered_ab_semigroup_add + comm_monoid_add.
+INCOMPATIBILITY.
+
+* Introduced the type classes canonically_ordered_comm_monoid_add and dioid.
+
+* Added topological_monoid
+
* Library/Polynomial.thy contains also derivation of polynomials
but not gcd/lcm on polynomials over fields. This has been moved
to a separate theory Library/Polynomial_GCD_euclidean.thy, to
@@ -144,7 +153,6 @@
* SML/NJ is no longer supported.
-
New in Isabelle2016 (February 2016)
-----------------------------------