# HG changeset patch
# User nipkow
# Date 1188602531 -7200
# Node ID ac22a2a671006cf4b5b62212147731153765c24b
# Parent  020db6ec334a0d30ac9d3e632e6c18090e91b1c5
*** empty log message ***

diff -r 020db6ec334a -r ac22a2a67100 NEWS
--- a/NEWS	Sat Sep 01 01:21:48 2007 +0200
+++ b/NEWS	Sat Sep 01 01:22:11 2007 +0200
@@ -847,7 +847,12 @@
 
 * Lemma "set_take_whileD" renamed to "set_takeWhileD"
 
-* new function "sgn" on ordered_idom, hence in particular on int and real.
+* function "sgn" is now overloaded and available on int, real, complex
+  (and other numeric types).
+  The details: new class "sgn" with function "sgn";
+  two possible defs of sgn in the classes sgn_if and sgn_div_norm
+  (as equational assumptions);
+  ordered_idom now also inherits from sgn_if - INCOMPATIBILITY.
 
 * New lemma collection field_simps (an extension of ring_simps)
   for manipulating (in)equations involving division. Multiplies