*** empty log message ***
authornipkow
Tue Sep 18 08:28:47 2007 +0200 (2007-09-18)
changeset 24627cc6768509ed3
parent 24626 85eceef2edc7
child 24628 33137422d7fd
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Tue Sep 18 07:46:00 2007 +0200
     1.2 +++ b/NEWS	Tue Sep 18 08:28:47 2007 +0200
     1.3 @@ -729,6 +729,8 @@
     1.4  
     1.5  * Lemma "set_take_whileD" renamed to "set_takeWhileD"
     1.6  
     1.7 +* new functions sorted and sort in List.
     1.8 +
     1.9  * function "sgn" is now overloaded and available on int, real, complex
    1.10    (and other numeric types).
    1.11    The details: new class "sgn" with function "sgn";