# HG changeset patch # User nipkow # Date 1190096927 -7200 # Node ID cc6768509ed3d4c22efaed960beca0270cd7515a # Parent 85eceef2edc7141654debacafb2d1f91b9c2c39a *** empty log message *** diff -r 85eceef2edc7 -r cc6768509ed3 NEWS --- a/NEWS Tue Sep 18 07:46:00 2007 +0200 +++ b/NEWS Tue Sep 18 08:28:47 2007 +0200 @@ -729,6 +729,8 @@ * Lemma "set_take_whileD" renamed to "set_takeWhileD" +* new functions sorted and sort in List. + * function "sgn" is now overloaded and available on int, real, complex (and other numeric types). The details: new class "sgn" with function "sgn";