changeset 65552 | f533820e7248 |
parent 65544 | c09c11386ca5 |
child 65557 | 29c69a599743 |
--- a/NEWS Sat Apr 22 12:52:55 2017 +0200 +++ b/NEWS Sat Apr 22 22:01:35 2017 +0200 @@ -72,6 +72,9 @@ *** HOL *** +* Theories "GCD" and "Binomial" are already included in "Main" (instead +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. INCOMPATIBILITY.