NEWS
changeset 14418 b62323c85134
parent 14401 477380c74c1d
child 14427 cea7d2f76112
     1.1 --- a/NEWS	Sun Feb 29 23:05:48 2004 +0100
     1.2 +++ b/NEWS	Mon Mar 01 05:21:43 2004 +0100
     1.3 @@ -129,6 +129,11 @@
     1.4    Similarly for "\<Union>x. B", and for \<Inter> instead of \<Union>.
     1.5    The subscript version is also accepted as input syntax.
     1.6  
     1.7 +* Unions and Intersections over Intervals:
     1.8 +  There is new short syntax "UN i<=n. A" for "UN i:{0..n}. A". There is 
     1.9 +  also an x-symbol version with subscripts "\<Union>\<^bsub>i <= n\<^esub>. A" 
    1.10 +  like in normal math, and corresponding versions for < and for intersection.
    1.11 +
    1.12  * ML: the legacy theory structures Int and List have been removed. They had
    1.13    conflicted with ML Basis Library structures having the same names.
    1.14