NEWS
changeset 51088 0a55ac5bdd92
parent 51082 55b82b1417d1
parent 51002 496013a6eb38
child 51115 7dbd6832a689
     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