NEWS
changeset 50991 b3c6c9ef11b8
parent 50878 2840522a936d
child 50993 2c3d0cb151c0
     1.1 --- a/NEWS	Sun Jan 20 13:59:13 2013 +0100
     1.2 +++ b/NEWS	Sun Jan 20 14:00:05 2013 +0100
     1.3 @@ -379,7 +379,7 @@
     1.4  with support for mixed, nested recursion and interesting non-free
     1.5  datatypes.
     1.6  
     1.7 -* HOL/Finite_Set and Relation: added new set and relation operations 
     1.8 +* HOL/Finite_Set and Relation: added new set and relation operations
     1.9  expressed by Finite_Set.fold.
    1.10  
    1.11  * New theory HOL/Library/RBT_Set: implementation of sets by red-black