diff -r 3813bcab493d -r 226873bffa3a NEWS
--- a/NEWS	Thu Dec 20 15:57:29 2001 +0100
+++ b/NEWS	Thu Dec 20 16:53:51 2001 +0100
@@ -1,4 +1,3 @@
-
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -241,6 +240,8 @@
 * HOL/GroupTheory: group theory examples including Sylow's theorem, by
 Florian Kammüller;
 
+* HOL: renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
+
 
 *** HOLCF ***