Commit graph

1 commit

Author SHA1 Message Date
Fredrik Johansson
991814c481 add fmpr_abs_bound_lt_2exp_si; some more simplification 2013-09-19 11:50:01 +01:00