NEWS
changeset 23116 16e1401afe91
parent 23104 0a47a5681704
child 23129 a318773dca05
     1.1 --- a/NEWS	Mon May 28 16:29:17 2007 +0200
     1.2 +++ b/NEWS	Mon May 28 16:30:28 2007 +0200
     1.3 @@ -924,6 +924,7 @@
     1.4    is(NS)Cont     :: ['a::real_normed_vector => 'b::real_normed_vector, 'a] => bool
     1.5    deriv          :: ['a::real_normed_field => 'a, 'a, 'a] => bool
     1.6    sgn            :: 'a::real_normed_vector => 'a
     1.7 +  exp            :: 'a::{recpower,real_normed_field,banach} => 'a
     1.8  
     1.9  * Complex: Some complex-specific constants are now abbreviations for
    1.10  overloaded ones: complex_of_real = of_real, cmod = norm, hcmod =