summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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).