NEWS
changeset 65575 f8681c62959d
parent 65572 6acb28e5ba41
child 65728 1019be449dbd
     1.1 --- a/NEWS	Mon Apr 24 13:58:38 2017 +0200
     1.2 +++ b/NEWS	Mon Apr 24 15:56:25 2017 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  *** HOL ***
     1.5  
     1.6  * Theories "GCD" and "Binomial" are already included in "Main" (instead
     1.7 -of "Complex_Main".
     1.8 +of "Complex_Main").
     1.9  
    1.10  * Constants E/L/F in Library/Formal_Power_Series were renamed to
    1.11  fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.