# HG changeset patch
# User nipkow
# Date 1008863631 -3600
# Node ID 226873bffa3a17f2ad0c62ad8923af5cb825a464
# Parent  3813bcab493d1d584a59a585c4ceee22c9cec389
*** empty log message ***

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 ***