1.1 --- a/NEWS Fri Jul 29 19:47:34 2005 +0200
1.2 +++ b/NEWS Fri Jul 29 19:47:41 2005 +0200
1.3 @@ -391,6 +391,8 @@
1.4
1.5 * Theory RComplete: expanded support for floor and ceiling functions.
1.6
1.7 +* Theory Ln is new, with properties of the natural logarithm
1.8 +
1.9
1.10 *** HOLCF ***
1.11