| changeset 9814 | aef1f83cf8a6 |
| parent 9753 | f25ac7194f71 |
| child 9835 | 543d23cd1259 |
--- a/NEWS Sat Sep 02 22:37:41 2000 +0200 +++ b/NEWS Sat Sep 02 22:40:56 2000 +0200 @@ -1,3 +1,4 @@ + Isabelle NEWS -- history user-relevant changes ============================================== @@ -218,6 +219,8 @@ *** HOL *** +* HOL/Lambda: converted into new-style theory and document; + * HOL/Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin;