equal
deleted
inserted
replaced
|
1 |
1 Isabelle NEWS -- history user-relevant changes |
2 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
3 ============================================== |
3 |
4 |
4 New in this Isabelle version |
5 New in this Isabelle version |
5 ---------------------------- |
6 ---------------------------- |
215 |
216 |
216 * added 'nothing' --- the empty list of theorems; |
217 * added 'nothing' --- the empty list of theorems; |
217 |
218 |
218 |
219 |
219 *** HOL *** |
220 *** HOL *** |
|
221 |
|
222 * HOL/Lambda: converted into new-style theory and document; |
220 |
223 |
221 * HOL/Algebra: new theory of rings and univariate polynomials, by |
224 * HOL/Algebra: new theory of rings and univariate polynomials, by |
222 Clemens Ballarin; |
225 Clemens Ballarin; |
223 |
226 |
224 * HOL/ex: new theory Factorization proving the Fundamental Theorem of |
227 * HOL/ex: new theory Factorization proving the Fundamental Theorem of |