NEWS
changeset 65575 f8681c62959d
parent 65572 6acb28e5ba41
child 65728 1019be449dbd
equal deleted inserted replaced
65574:10f4a17e5928 65575:f8681c62959d
    72 
    72 
    73 
    73 
    74 *** HOL ***
    74 *** HOL ***
    75 
    75 
    76 * Theories "GCD" and "Binomial" are already included in "Main" (instead
    76 * Theories "GCD" and "Binomial" are already included in "Main" (instead
    77 of "Complex_Main".
    77 of "Complex_Main").
    78 
    78 
    79 * Constants E/L/F in Library/Formal_Power_Series were renamed to
    79 * Constants E/L/F in Library/Formal_Power_Series were renamed to
    80 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
    80 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
    81 INCOMPATIBILITY.
    81 INCOMPATIBILITY.
    82 
    82