[m-rev.] for review: split up term.m

[Julien Fischer]

Hi,

On Mon, 2 Feb 2015, Zoltan Somogyi wrote:

>
> Here is the updated diff. It does not obsolete any existing predicates
> except in comments, and does not change their names or arguments,
> but it does move the conversion predicates from term.m to the new
> library module term_conversion.m.
>
> Julien, is that going to cause any problems for Opturion?

No, we don't use the conversion predicates.

Cheers,
Julien.