NEWS
changeset 32136 672dfd59ff03
parent 32131 7913823f14e3
parent 32134 ee143615019c
child 32151 2f65c45c2e7e
     1.1 --- a/NEWS	Wed Jul 22 11:48:04 2009 +0200
     1.2 +++ b/NEWS	Wed Jul 22 14:21:52 2009 +0200
     1.3 @@ -18,6 +18,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* More convenient names for set intersection and union.  INCOMPATIBILITY:
     1.8 +
     1.9 +    Set.Int ~>  Set.inter
    1.10 +    Set.Un ~>   Set.union
    1.11 +
    1.12  * Code generator attributes follow the usual underscore convention:
    1.13      code_unfold     replaces    code unfold
    1.14      code_post       replaces    code post