NEWS
changeset 49739 13aa6d8268ec
parent 49738 1e1611fd32df
child 49770 cf6a78acf445
     1.1 --- a/NEWS	Mon Oct 08 11:37:03 2012 +0200
     1.2 +++ b/NEWS	Mon Oct 08 12:03:49 2012 +0200
     1.3 @@ -62,6 +62,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Theorem UN_o generalized to SUP_comp.  INCOMPATIBILITY.
     1.8 +
     1.9  * Class "comm_monoid_diff" formalises properties of bounded
    1.10  subtraction, with natural numbers and multisets as typical instances.
    1.11