# HG changeset patch
# User wenzelm
# Date 1127672663 -7200
# Node ID 5ec55c1fa116ecd4ae6880c86c35d0732fb7e4a9
# Parent  dca023dd6d3cfbad511dd887a301e2682cfac9eb
* Hyperreal: A theory of Taylor series.

diff -r dca023dd6d3c -r 5ec55c1fa116 NEWS
--- a/NEWS	Sun Sep 25 20:24:10 2005 +0200
+++ b/NEWS	Sun Sep 25 20:24:23 2005 +0200
@@ -653,6 +653,8 @@
 To be successful, all free variables must have standard types; non-
 standard variables must have explicit universal quantifiers.
 
+* Hyperreal: A theory of Taylor series.
+
 
 *** HOLCF ***