*** empty log message ***
authornipkow
Thu Dec 20 16:53:51 2001 +0100 (2001-12-20)
changeset 12564226873bffa3a
parent 12563 3813bcab493d
child 12565 9df4b3934487
*** empty log message ***
NEWS
     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