NEWS
changeset 54227 63b441f49645
parent 54055 5bf55a713232
child 54228 229282d53781
equal deleted inserted replaced
54226:e3df2a4e02fc 54227:63b441f49645
     1 Isabelle NEWS -- history user-relevant changes
     1 Isabelle NEWS -- history user-relevant changes
     2 ==============================================
     2 ==============================================
     3 
     3 
     4 New in this Isabelle version
     4 New in this Isabelle version
     5 ----------------------------
     5 ----------------------------
       
     6 
       
     7 *** HOL ***
       
     8 
       
     9 * Fact name generalization and consolidation:
       
    10   neq_one_mod_two, mod_2_not_eq_zero_eq_one_int ~> not_mod_2_eq_0_eq_1
     6 
    11 
     7 
    12 
     8 
    13 
     9 New in Isabelle2013-1 (November 2013)
    14 New in Isabelle2013-1 (November 2013)
    10 -------------------------------------
    15 -------------------------------------