NEWS
changeset 12564 226873bffa3a
parent 12563 3813bcab493d
child 12587 3f3d2ffb5df5
     1.1 --- a/NEWS	Thu Dec 20 15:57:29 2001 +0100
     1.2 +++ b/NEWS	Thu Dec 20 16:53:51 2001 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -241,6 +240,8 @@
     1.9  * HOL/GroupTheory: group theory examples including Sylow's theorem, by
    1.10  Florian Kammüller;
    1.11  
    1.12 +* HOL: renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
    1.13 +
    1.14  
    1.15  *** HOLCF ***
    1.16