NEWS
changeset 49388 1ffd5a055acf
parent 49365 8aebe857aaaa
child 49481 818bf31759e7
     1.1 --- a/NEWS	Sat Sep 15 20:13:25 2012 +0200
     1.2 +++ b/NEWS	Sat Sep 15 20:14:29 2012 +0200
     1.3 @@ -47,6 +47,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Class "comm_monoid_diff" formalised properties of bounded
     1.8 +subtraction, with natural numbers and multisets as typical instances.
     1.9 +
    1.10  * Theory "Library/Option_ord" provides instantiation of option type
    1.11  to lattice type classes.
    1.12