NEWS
changeset 66480 4b8d1df8933b
parent 66474 3ff851a8cb4b
child 66481 d35f7a9f92e2
     1.1 --- a/NEWS	Mon Aug 21 19:20:02 2017 +0200
     1.2 +++ b/NEWS	Mon Aug 21 20:49:15 2017 +0200
     1.3 @@ -215,8 +215,8 @@
     1.4  * Theory "HOL-Library.Permutations": theorem bij_swap_ompose_bij has
     1.5  been renamed to bij_swap_compose_bij. INCOMPATIBILITY.
     1.6  
     1.7 -* Theory "HOL-Library.Formal_Power_Series": constants E/L/F have been
     1.8 -renamed to fps_exp/fps_ln/fps_hypergeo to avoid polluting the name
     1.9 +* Theory "HOL-Library.Formal_Power_Series": constants X/E/L/F have been
    1.10 +renamed to fps_X/fps_exp/fps_ln/fps_hypergeo to avoid polluting the name
    1.11  space. INCOMPATIBILITY.
    1.12  
    1.13  * Theory "HOL-Library.FinFun" has been moved to AFP (again).