1.1 --- a/NEWS Tue Feb 12 17:39:45 2013 +0100
1.2 +++ b/NEWS Wed Feb 13 11:46:48 2013 +0100
1.3 @@ -1,6 +1,16 @@
1.4 Isabelle NEWS -- history user-relevant changes
1.5 ==============================================
1.6
1.7 +New in this Isabelle version
1.8 +----------------------------
1.9 +
1.10 +*** HOL ***
1.11 +
1.12 +* Theory "RealVector" and "Limits": Introduce type class
1.13 +(lin)order_topology. Allows to generalize theorems about limits and
1.14 +order. Instances are reals and extended reals.
1.15 +
1.16 +
1.17 New in Isabelle2013 (February 2013)
1.18 -----------------------------------
1.19