1.1 --- a/NEWS	Thu Oct 31 11:44:20 2013 +0100
     1.2 +++ b/NEWS	Thu Oct 31 11:44:20 2013 +0100
     1.3 @@ -4,6 +4,11 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** HOL ***
     1.8 +
     1.9 +* Fact name generalization and consolidation:
    1.10 +  neq_one_mod_two, mod_2_not_eq_zero_eq_one_int ~> not_mod_2_eq_0_eq_1
    1.11 +
    1.12  
    1.13  
    1.14  New in Isabelle2013-1 (November 2013)