diff -r 8d194c9198ae -r de3fd08bb41c NEWS
--- a/NEWS	Thu Aug 30 21:43:31 2007 +0200
+++ b/NEWS	Thu Aug 30 21:44:29 2007 +0200
@@ -847,6 +847,8 @@
 
 * Lemma "set_take_whileD" renamed to "set_takeWhileD"
 
+* new function "sgn" on ordered_idom, hence in particular on int and real.
+
 * New lemma collection field_simps (an extension of ring_simps)
   for manipulating (in)equations involving division. Multiplies
   with all denominators that can be proved to be non-zero (in equations)