Well specified version of division
Build a well-specified version of
bdiv_aux
Solution
Follow this link
Going home
Yves Bertot
Last modified: Tue May 13 22:29:02 MEST 2003