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