# HG changeset patch
# User huffman
# Date 1180362628 -7200
# Node ID 16e1401afe9174616f6c0c6d30a3362bca9e61ee
# Parent  4615b20785924d0934d7fdbd329ee9b4319b106e
Complex: generalized type of exp

diff -r 4615b2078592 -r 16e1401afe91 NEWS
--- 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 =