1.1 --- a/NEWS	Wed Apr 18 17:33:11 2012 +0100
     1.2 +++ b/NEWS	Wed Apr 18 20:38:15 2012 +0200
     1.3 @@ -218,7 +218,7 @@
     1.4  of some relation theorems:
     1.5  
     1.6    converse_def ~> converse_unfold
     1.7 -  rel_comp_def ~> rel_comp_unfold
     1.8 +  rel_comp_def ~> relcomp_unfold
     1.9    symp_def ~> (dropped, use symp_def and sym_def instead)
    1.10    transp_def ~> transp_trans
    1.11    Domain_def ~> Domain_unfold
    1.12 @@ -333,7 +333,7 @@
    1.13  * Theory Relation: Consolidated constant name for relation composition
    1.14  and corresponding theorem names:
    1.15  
    1.16 -  - Renamed constant rel_comp to relcomp
    1.17 +  - Renamed constant rel_comp to relcomp.
    1.18  
    1.19    - Dropped abbreviation pred_comp. Use relcompp instead.
    1.20  
    1.21 @@ -351,7 +351,7 @@
    1.22      rel_comp_UNION_distrib ~> relcomp_UNION_distrib
    1.23      rel_comp_UNION_distrib2 ~> relcomp_UNION_distrib2
    1.24      single_valued_rel_comp ~> single_valued_relcomp
    1.25 -    rel_comp_unfold ~> relcomp_unfold
    1.26 +    rel_comp_def ~> relcomp_unfold
    1.27      converse_rel_comp ~> converse_relcomp
    1.28      pred_compI ~> relcomppI
    1.29      pred_compE ~> relcomppE