NEWS
changeset 45613 5b1e1432c320
parent 45612 7f6838b3474a
child 45631 19e1c6e922b6
     1.1 --- a/NEWS	Tue Sep 06 07:45:18 2011 -0700
     1.2 +++ b/NEWS	Tue Sep 06 07:48:59 2011 -0700
     1.3 @@ -276,6 +276,7 @@
     1.4    real_squared_diff_one_factored ~> square_diff_one_factored
     1.5    realpow_two_diff ~> square_diff_square_factored
     1.6    reals_complete2 ~> complete_real
     1.7 +  real_sum_squared_expand ~> power2_sum
     1.8    exp_ln_eq ~> ln_unique
     1.9    expi_add ~> exp_add
    1.10    expi_zero ~> exp_zero