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";