# HG changeset patch
# User Manuel Eberl <eberlm@in.tum.de>
# Date 1583846179 -3600
# Node ID 2aa38099aa8cfffdf4cdafad19d9d672eff231c2
# Parent  b612edee9b0cd19483b69cb7ebdff4f62b024a5a
updated NEWS w.r.t. e0237f2eb49d

diff -r b612edee9b0c -r 2aa38099aa8c NEWS
--- a/NEWS	Sun Mar 08 17:07:49 2020 +0000
+++ b/NEWS	Tue Mar 10 14:16:19 2020 +0100
@@ -89,6 +89,12 @@
 
 *** HOL ***
 
+* Removed multiplicativity assumption from normalization_semidom typeclass.
+  Introduced various new intermediate typeclasses with the multiplicativity
+  assumption; many theorem statements (especially involving GCD/LCM) had
+  to be adapted. This allows for a more natural instantiation of the 
+  algebraic typeclasses for e.g. Gaussian integers. INCOMPATIBILITY.
+
 * Improvements of the 'lift_bnf' command:
   - Add support for quotient types.
   - Generate transfer rules for the lifted map/set/rel/pred constants