News
authornipkow
Sun Sep 23 13:45:37 2018 +0200 (13 months ago ago)
changeset 690378d8fdbc02912
parent 69036 3ab140184a14
child 69038 2ce9bc515a64
News
NEWS
     1.1 --- a/NEWS	Sun Sep 23 12:50:12 2018 +0200
     1.2 +++ b/NEWS	Sun Sep 23 13:45:37 2018 +0200
     1.3 @@ -35,6 +35,9 @@
     1.4  and prod_mset.swap, similarly to sum.swap and prod.swap.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Theory "HOL-Library.Multiset": the <Union># operator now has the same
     1.8 +precedence as any other prefix function symbol.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12