*** empty log message ***
authornipkow
Tue, 18 Sep 2007 08:28:47 +0200
changeset 24627 cc6768509ed3
parent 24626 85eceef2edc7
child 24628 33137422d7fd
*** empty log message ***
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";