NEWS
changeset 24627 cc6768509ed3
parent 24606 7acbb982fc77
child 24633 0a3a02066244
--- 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";