NEWS
changeset 54295 45a5523d4a63
parent 54264 27501a51d847
child 54384 50199af40c27
     1.1 --- a/NEWS	Sun Nov 10 10:02:34 2013 +0100
     1.2 +++ b/NEWS	Sun Nov 10 15:05:06 2013 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Qualified constant names Wellfounded.acc, Wellfounded.accp.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Fact generalization and consolidation:
    1.11      neq_one_mod_two, mod_2_not_eq_zero_eq_one_int ~> not_mod_2_eq_0_eq_1
    1.12  INCOMPATIBILITY.