equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
|
3 |
|
4 New in this Isabelle version |
|
5 ---------------------------- |
|
6 |
|
7 *** HOL *** |
|
8 |
|
9 * Theory "RealVector" and "Limits": Introduce type class |
|
10 (lin)order_topology. Allows to generalize theorems about limits and |
|
11 order. Instances are reals and extended reals. |
|
12 |
3 |
13 |
4 New in Isabelle2013 (February 2013) |
14 New in Isabelle2013 (February 2013) |
5 ----------------------------------- |
15 ----------------------------------- |
6 |
16 |
7 *** General *** |
17 *** General *** |