author | huffman |
Mon, 28 May 2007 16:30:28 +0200 | |
changeset 23116 | 16e1401afe91 |
parent 23115 | 4615b2078592 |
child 23117 | e2744f32641e |
--- a/NEWS Mon May 28 16:29:17 2007 +0200 +++ b/NEWS Mon May 28 16:30:28 2007 +0200 @@ -924,6 +924,7 @@ is(NS)Cont :: ['a::real_normed_vector => 'b::real_normed_vector, 'a] => bool deriv :: ['a::real_normed_field => 'a, 'a, 'a] => bool sgn :: 'a::real_normed_vector => 'a + exp :: 'a::{recpower,real_normed_field,banach} => 'a * Complex: Some complex-specific constants are now abbreviations for overloaded ones: complex_of_real = of_real, cmod = norm, hcmod =