diff -r 05031b71a89a -r a5d43ffc95eb NEWS
--- a/NEWS	Tue Sep 20 22:11:22 2011 +0200
+++ b/NEWS	Wed Sep 21 00:12:36 2011 +0200
@@ -76,6 +76,11 @@
 
 *** HOL ***
 
+* New proof method "induction" that gives induction hypotheses the name IH,
+thus distinguishing them from further hypotheses that come from rule
+induction.  The latter are still called "hyps".  Method "induction" is a thin
+wrapper around "induct" and follows the same syntax.
+
 * Class bot and top require underlying partial order rather than
 preorder: uniqueness of bot and top is guaranteed.  INCOMPATIBILITY.