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