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