--- a/NEWS Fri Jul 29 19:47:34 2005 +0200
+++ b/NEWS Fri Jul 29 19:47:41 2005 +0200
@@ -391,6 +391,8 @@
* Theory RComplete: expanded support for floor and ceiling functions.
+* Theory Ln is new, with properties of the natural logarithm
+
*** HOLCF ***