Jakub Jelinek wrote:
> Hi!
>
> Ulrich just asked me about your add-on, are you planning to submit it
> for inclusion into CVS (not as an add-on, but in normal sysdeps hierarchy)?
> He'd certainly prefer that over an add-on, ASAP.
>
> 	Jakub
>   

Here are the math functions and supporting Implies files, ported to
the normal sysdeps hierarchy. Apply the strings patch first.