NEWS
changeset 54227 63b441f49645
parent 54055 5bf55a713232
child 54228 229282d53781
--- a/NEWS	Thu Oct 31 11:44:20 2013 +0100
+++ b/NEWS	Thu Oct 31 11:44:20 2013 +0100
@@ -4,6 +4,11 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* Fact name generalization and consolidation:
+  neq_one_mod_two, mod_2_not_eq_zero_eq_one_int ~> not_mod_2_eq_0_eq_1
+
 
 
 New in Isabelle2013-1 (November 2013)