--- a/NEWS Tue Feb 12 17:39:45 2013 +0100
+++ b/NEWS Wed Feb 13 11:46:48 2013 +0100
@@ -1,6 +1,16 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+*** HOL ***
+
+* Theory "RealVector" and "Limits": Introduce type class
+(lin)order_topology. Allows to generalize theorems about limits and
+order. Instances are reals and extended reals.
+
+
New in Isabelle2013 (February 2013)
-----------------------------------