NEWS
changeset 55934 800e155d051a
parent 55933 12ee2c407dad
child 55938 f20d1db5aa3c
     1.1 --- a/NEWS	Thu Mar 06 13:36:49 2014 +0100
     1.2 +++ b/NEWS	Thu Mar 06 13:36:50 2014 +0100
     1.3 @@ -194,6 +194,7 @@
     1.4      map_sum ~> sum_map
     1.5      map_pair ~> prod_map
     1.6      fset_rel ~> rel_fset
     1.7 +    cset_rel ~> rel_cset
     1.8  
     1.9  * New theory:
    1.10      Cardinals/Ordinal_Arithmetic.thy