nsf

Clone
Gustaf Neumann <neumann@wu-wien.ac.at>
committed
0e95726
on 31 Aug 20
get rid of mp_free (we still need the type for mp_int)
define-incrementals + 6 more