NEWS
changeset 44845 5e51075cbd97
parent 44826 1120cba9bce4
child 44888 e099fc6f59be
     1.1 --- a/NEWS	Thu Sep 08 08:41:28 2011 -0700
     1.2 +++ b/NEWS	Fri Sep 09 00:22:18 2011 +0200
     1.3 @@ -131,6 +131,10 @@
     1.4  
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Added syntactic classes "inf" and "sup" for the respective
     1.8 +constants.  INCOMPATIBILITY: Changes in the argument order of the
     1.9 +(mostly internal) locale predicates for some derived classes.
    1.10 +
    1.11  * Theorem collections ball_simps and bex_simps do not contain theorems
    1.12  referring to UNION any longer; these have been moved to collection
    1.13  UN_ball_bex_simps.  INCOMPATIBILITY.